论文信息 - Testing the independence of a system of axioms, using a logical computer - 字舞流文

Testing the independence of a system of axioms, using a logical computer

H. M. Newman | Eric Foxley | H. M. A. Newman | E. Foxley

[1] A. Rose. Conditioned Disjunction as a primitive connective for them-valued Propositional Calculus , 1951 .

[2] Alan Rose. The use of universal decision elements as flip‐flops , 1958 .

[3] Alan Rose,et al. Many-valued logical machines , 1958, Mathematical Proceedings of the Cambridge Philosophical Society.