UID:
edocfu_9959185785602883
Format:
1 online resource (VI, 358 p.)
Edition:
1st ed. 1975.
Edition:
Online edition Springer Lecture Notes Archive ; 041142-5
ISBN:
3-540-37495-7
Series Statement:
Lecture Notes in Mathematics, 445
Note:
Bibliographic Level Mode of Issuance: Monograph
,
to Part I -- Abstract Horn theories -- Completeness theorem for logical categories -- Logical categories, semantical categories and topoi -- Internal categories and classification theorems -- Lectures on elementary topoi -- Some topos theoretic concepts of finiteness -- Universes in topoi -- Logical and set theoretical tools in elementary topoi -- A note on Kripke-Joyal semantics for the internal language of topoi.
,
English
In:
Springer eBooks
Additional Edition:
ISBN 3-540-07164-4
Language:
English
URL:
http://dx.doi.org/10.1007/BFb0061290