UID:
almahu_9947921505402882
Format:
VI, 358 p.
,
online resource.
ISBN:
9783540374954
Series Statement:
Lecture Notes in Mathematics, 445
Note:
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.
In:
Springer eBooks
Additional Edition:
Printed edition: ISBN 9783540071648
Language:
English
URL:
http://dx.doi.org/10.1007/BFb0061290