Die Vollständigkeit der verzweigten Typenlogik mit unendlicher Terminduktion.
Löb, M.H.
Archiv für mathematische Logik und Grundlagenforschung, Tome 11 (1967), p. 68-72 / Harvested from Göttinger Digitalisierungszentrum
Publié le : 1967-01-01
EUDML-ID : urn:eudml:doc:137807
@article{GDZPPN002043556,
     title = {Die Vollst\"andigkeit der verzweigten Typenlogik mit unendlicher Terminduktion.},
     journal = {Archiv f\"ur mathematische Logik und Grundlagenforschung},
     volume = {11},
     year = {1967},
     pages = {68-72},
     zbl = {0182.32304},
     url = {http://dml.mathdoc.fr/item/GDZPPN002043556}
}
Löb, M.H. Die Vollständigkeit der verzweigten Typenlogik mit unendlicher Terminduktion.. Archiv für mathematische Logik und Grundlagenforschung, Tome 11 (1967) pp. 68-72. http://gdmltest.u-ga.fr/item/GDZPPN002043556/