Existentially Closed Structures and Gödel's Second Incompleteness Theorem
Zofia Adamowicz and Teresa BigorajskaVolume:
66
Language:
english
Journal:
The Journal of Symbolic Logic
DOI:
10.2307/2694926
Date:
March, 2001
File:
PDF, 183 KB
english, 2001