The undecidability of the first-order th
✍
Franco Montagna
📂
Article
📅
1980
🏛
Springer Netherlands
🌐
English
⚖ 294 KB