Logo
DeutschClear Cookie - decide language by browser settings
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

PDF

509kB