1 results
Testing the independence of a system of axioms, using a logical computer
-
- Journal:
- Mathematical Proceedings of the Cambridge Philosophical Society / Volume 57 / Issue 3 / July 1961
- Published online by Cambridge University Press:
- 24 October 2008, pp. 443-448
- Print publication:
- July 1961
-
- Article
- Export citation