A Formal Proof of Godel's Theoremby Leon
✍
Review by: Helen Brodie
📂
Article
📅
1940
🏛
Association for Symbolic Logic
🌐
English
⚖ 495 KB