Categorical Models of Constructive Logic [Lecture notes]
Book information
Similar books
Fibred categories à la Jean Bénabou
2019 · PDF
Introduction to Category Theory and Categorical Logic
2018 · PDF
![Realizability [Lecture notes]](https://sensemedia.org/covers/1618000/1d0ea7658fe480333746fa9220ef09e6-g.jpg)
Realizability [Lecture notes]
2013 · PDF
![Introduction to Constructive Logic and Mathematics [Lecture notes]](https://sensemedia.org/covers/1618000/6e0f1fd6c7e6edc56900431ed19509f4-g.jpg)
Introduction to Constructive Logic and Mathematics [Lecture notes]
2009 · PDF
![Fibred categories à la Jean Bénabou [Lecture notes]](https://sensemedia.org/covers/1618000/0ad380f84c154748948a80d33410b047-g.jpg)
Fibred categories à la Jean Bénabou [Lecture notes]
2017 · PDF
![Logik für Informatiker [Lecture notes]](https://sensemedia.org/covers/1618000/9385a507d2e18baa7966591cc392fab3-g.jpg)
Logik für Informatiker [Lecture notes]
2002 · PDF
![Allgemeine Algebra für Informatiker und Wirtschaftsinformatiker [Lecture notes]](https://sensemedia.org/covers/1618000/00d50ae6119d14b502e3fb1b3d4d437b-g.jpg)
Allgemeine Algebra für Informatiker und Wirtschaftsinformatiker [Lecture notes]
2002 · PDF
![Introduction to Category Theory and Categorical Logic [Lecture notes]](https://sensemedia.org/covers/1618000/760fb57ccdc4bcc638a8f0ad40902451-g.jpg)
Introduction to Category Theory and Categorical Logic [Lecture notes]
2017 · PDF