Home Advanced Search
Advanced Search - Page 1
Fibred categories à la Jean Bénabou
- English
- Year: 2019
- Author: Thomas Streicher
Semantics of type theory: correctness, completeness and independence results
- DJVU
- English
- Year: 1991
- Author: Streicher, Thomas
Allgemeine Algebra für Informatiker und Wirtschaftsinformatiker [Lecture notes]
- German
- Year: 2002
- Author: Thomas Streicher
Categorical Models of Constructive Logic [Lecture notes]
- English
- Year: 2013
- Author: Thomas Streicher
Introduction to Category Theory and Categorical Logic [Lecture notes]
- English
- Year: 2017
- Author: Thomas Streicher
Logik für Informatiker [Lecture notes]
- German
- Year: 2002
- Author: Thomas Streicher
Vertikale Information im Lichte des Kartellverbots
- German
- Year: 2014
- Author: Streicher, René
Uneasy Military Encounters: The Imperial Politics of Counterinsurgency in Southern Thailand
- English
- Year: 2020
- Author: Ruth Streicher
Der Stuermer 1935 Nr. 49 Hoelle Sowjetrussland
- German
- Year: 1935
- Author: Julius Streicher
Der Stuermer - 1939 Nr. 29 (12 S., Scan, Fraktur)
- German
- Year: 1939
- Author: Julius Streicher