Logo Logo
Help
Contact
Switch Language to German
Buchholz, Wilfried (1975): Ein ausgezeichnetes Modell für die intuitionistische Typenlogik. In: Archiv für mathematische Logik und Grundlagenforschung, Vol. 17: pp. 55-60
[img]
Preview
509kB