Topoi : the categorial analysis of logic / Robert Goldblatt

Auteur principal : Goldblatt, Robert, 1949-, AuteurType de document : Livre numériqueCollection : Studies in logic and the foundations of mathematics, 98Langue : anglais.Éditeur : Amsterdam : North-Holland, 1984ISBN: 0486450260.ISSN: 0049-237X.Sujet MSC : 03G30, Algebraic logic, Categorical logic, topoi
18B25, Category theory; homological algebra - Special categories, Topoi
03F55, Proof theory and constructive mathematics, Intuitionistic mathematics
03-02, Research exposition (monographs, survey articles) pertaining to mathematical logic and foundationsEn-ligne : OA - accès libre
Tags from this library: No tags from this library for this title. Log in to add tags.
No physical items for this record

There are no comments on this title.

to post a comment.