UID:
almahu_9947921505402882
Umfang:
VI, 358 p.
,
online resource.
ISBN:
9783540374954
Serie:
Lecture Notes in Mathematics, 445
Anmerkung:
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
Weitere Ausg.:
Printed edition: ISBN 9783540071648
Sprache:
Englisch
URL:
http://dx.doi.org/10.1007/BFb0061290