Die Vollständigkeit der verzweigten Typenlogik mit unendlicher Terminduktion.
Archiv für mathematische Logik und Grundlagenforschung (1967)
- Volume: 11, page 68-72
- ISSN: 0003-9268
Access Full Article
top
How to cite
topLöb, M.H.. "Die Vollständigkeit der verzweigten Typenlogik mit unendlicher Terminduktion.." Archiv für mathematische Logik und Grundlagenforschung 11 (1967): 68-72. <http://eudml.org/doc/137807>.
@article{Löb1967,
author = {Löb, M.H.},
journal = {Archiv für mathematische Logik und Grundlagenforschung},
keywords = {algebraic logic, model theory},
pages = {68-72},
title = {Die Vollständigkeit der verzweigten Typenlogik mit unendlicher Terminduktion.},
url = {http://eudml.org/doc/137807},
volume = {11},
year = {1967},
}
TY - JOUR
AU - Löb, M.H.
TI - Die Vollständigkeit der verzweigten Typenlogik mit unendlicher Terminduktion.
JO - Archiv für mathematische Logik und Grundlagenforschung
PY - 1967
VL - 11
SP - 68
EP - 72
KW - algebraic logic, model theory
UR - http://eudml.org/doc/137807
ER -
NotesEmbed ?
topYou must be logged in to post comments.
To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.