On Formalization of Model-Theoretic Proofs of Gödel's Theorems
Kikuchi, Makoto, Tanaka, KazuyukiVolume:
35
Year:
1994
Language:
english
Journal:
Notre Dame Journal of Formal Logic
DOI:
10.1305/ndjfl/1040511346
File:
PDF, 89 KB
english, 1994