Saunders Mac Lane and Ieke Moerdijk. Sheaves in geometry and logic. A first introduction to topos theory. Universitext. Springer-Verlag, New York, Berlin, etc., 1992, xii – 627 pp

Autor:	Andrew M. Pitts
Rok vydání:	1995
Předmět:	Philosophy Logic Calculus Topos theory AND gate Mathematics
Zdroj:	Journal of Symbolic Logic. 60:340-342
ISSN:	1943-5886 0022-4812
DOI:	10.2307/2275528
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::4c60fb36db71d85fb835b9d7eb66144b https://doi.org/10.2307/2275528 Zobrazit plný text záznamu