Undecidability of the Elementary Theory
✍
Review by: Verena H. Dyson
📂
Article
📅
1965
🏛
Association for Symbolic Logic
🌐
English
⚖ 226 KB