Volume 35; Issue 3

1

On Formalization of Model-Theoretic Proofs of Gödel's Theorems

Year:
1994
Language:
english
File:
PDF, 89 KB
english, 1994