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...

Dieses Buch ist ein Versuch, eine systematische...