@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/