An elementary proof of the completeness
✍
Dexter Kozen; Rohit Parikh
📂
Article
📅
1981
🏛
Elsevier Science
🌐
English
⚖ 425 KB