Ein Henkin-Beweis für die Vollständigkeit eines Kalküls relativ zur Grzegorczyk-Semantik.
Klemke, Dieter
Archiv für mathematische Logik und Grundlagenforschung, Tome 9 (1971), p. 148-161 / Harvested from Göttinger Digitalisierungszentrum
Access to full text
Publié le : 1971-01-01
EUDML-ID : urn:eudml:doc:137856 
@article{GDZPPN002044048,
     title = {Ein Henkin-Beweis f\"ur die Vollst\"andigkeit eines Kalk\"uls relativ zur Grzegorczyk-Semantik.},
     journal = {Archiv f\"ur mathematische Logik und Grundlagenforschung},
     volume = {9},
     year = {1971},
     pages = {148-161},
     zbl = {0233.02020},
     url = {http://dml.mathdoc.fr/item/GDZPPN002044048}
}

Klemke, Dieter. Ein Henkin-Beweis für die Vollständigkeit eines Kalküls relativ zur Grzegorczyk-Semantik.. Archiv für mathematische Logik und Grundlagenforschung, Tome 9 (1971) pp. 148-161. http://gdmltest.u-ga.fr/item/GDZPPN002044048/