Testing the independence of a system of axioms, using a logical computer
Foxley, Eric, Newman, H. M. A.Volume:
57
Language:
english
Journal:
Mathematical Proceedings of the Cambridge Philosophical Society
DOI:
10.1017/s0305004100035489
Date:
July, 1961
File:
PDF, 355 KB
english, 1961