Solution of a Problem of Leon Henkin
✍
M. H. Lob
📂
Article
📅
1955
🏛
Association for Symbolic Logic
🌐
English
⚖ 296 KB