A Model Theoretic Characterization of Ef
✍
M. H. Löb
📂
Article
📅
1970
🏛
Association for Symbolic Logic
🌐
English
⚖ 550 KB