Vorstellung des Autors B. Jacobs:

Bisher veröffentlichte Bücher von B. Jacobs:

Kategorische Logik und Typentheorie: Band 141 - Categorical Logic and Type Theory: Volume...
Elsevier Science & Technology
Dieses Buch ist ein Versuch, eine systematische...
Kategorische Logik und Typentheorie: Band 141 - Categorical Logic and Type Theory: Volume 141
<<
1
>>

© Book1 Group - Alle Rechte vorbehalten.
Der Inhalt dieser Seite darf weder teilweise noch vollständig ohne schriftliche Genehmigung des Eigentümers kopiert oder verwendet werden.
Letzte Änderung: 2024.11.13 22:11 (GMT)