Sheaves in geometry and logic (Record no. 2415)

000 -LEADER
fixed length control field 00929nam a22002177a 4500
003 - CONTROL NUMBER IDENTIFIER
control field OSt
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20240923141905.0
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 190228b ||||| |||| 00| 0 eng d
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9780387977102
040 ## - CATALOGING SOURCE
Transcribing agency Tata Book House
Original cataloging agency ICTS-TIFR
050 ## - LIBRARY OF CONGRESS CALL NUMBER
Classification number QA169
100 ## - MAIN ENTRY--PERSONAL NAME
Personal name Mac Lane Saunders
245 ## - TITLE STATEMENT
Title Sheaves in geometry and logic
Remainder of title : a first introduction to topos theory
260 ## - PUBLICATION, DISTRIBUTION, ETC.
Place of publication, distribution, etc. New York:
Name of publisher, distributor, etc. Springer,
Date of publication, distribution, etc. [c1994]
300 ## - Physical Description
Pages: 627 p
490 ## - SERIES STATEMENT
Series statement Universitext
505 ## - FORMATTED CONTENTS NOTE
Formatted contents note Categorical Preliminaries<br/>1. Categories of Functors<br/>2. Sheaves of Sets<br/>3. Grothendieck Topologies and Sheaves<br/>4. First Properties of Elementary Topoi<br/>5. Basic Constructions of Topoi<br/>6. Topoi and Logic<br/>7. Geometric Morphisms<br/>8. Classifying Topoi<br/>9. Localic Topoi<br/>10. Geometric Logic and Classifying Topoi
700 ## - ADDED ENTRY--PERSONAL NAME
Personal name Moerdijk Ieke
856 ## - ELECTRONIC LOCATION AND ACCESS
Uniform Resource Identifier <a href="https://link.springer.com/book/10.1007/978-1-4612-0927-0#toc">https://link.springer.com/book/10.1007/978-1-4612-0927-0#toc</a>
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Source of classification or shelving scheme
Koha item type Book
Holdings
Withdrawn status Lost status Damaged status Not for loan Collection code Home library Shelving location Date acquired Full call number Accession No. Koha item type
          ICTS Rack No 4 02/28/2019 QA169 01752 Book