Coverart for item
The Resource First order categorical logic : model-theoretical methods in the theory of topoi and related categories, Michael Makkai, Gonzalo Reyes

First order categorical logic : model-theoretical methods in the theory of topoi and related categories, Michael Makkai, Gonzalo Reyes

Label
First order categorical logic : model-theoretical methods in the theory of topoi and related categories
Title
First order categorical logic
Title remainder
model-theoretical methods in the theory of topoi and related categories
Statement of responsibility
Michael Makkai, Gonzalo Reyes
Creator
Contributor
Subject
Language
eng
Member of
Dewey number
  • 510/.8 s
  • 512/.55
Illustrations
illustrations
Index
no index present
LC call number
  • QA3
  • QA3
LC item number
.L28 no. 611
Literary form
non fiction
Nature of contents
bibliography
Series statement
Lecture notes in mathematics ; 611
Label
First order categorical logic : model-theoretical methods in the theory of topoi and related categories, Michael Makkai, Gonzalo Reyes
Instantiates
Publication
Bibliography note
Bibliography: p. [298]-301
Carrier category
volume
Carrier MARC source
rdacarrier
Content category
text
Content type MARC source
rdacontent
Dimensions
25 cm.
Extent
viii, 301 p.
Isbn
9780387084398
Lccn
77013221
Media category
unmediated
Media MARC source
rdamedia
Other physical details
ill.
System control number
  • (RLIN)UTBG6120709-B
  • 22183
  • (OCoLC)ocn135089347
Label
First order categorical logic : model-theoretical methods in the theory of topoi and related categories, Michael Makkai, Gonzalo Reyes
Publication
Bibliography note
Bibliography: p. [298]-301
Carrier category
volume
Carrier MARC source
rdacarrier
Content category
text
Content type MARC source
rdacontent
Dimensions
25 cm.
Extent
viii, 301 p.
Isbn
9780387084398
Lccn
77013221
Media category
unmediated
Media MARC source
rdamedia
Other physical details
ill.
System control number
  • (RLIN)UTBG6120709-B
  • 22183
  • (OCoLC)ocn135089347

Library Locations

    • Harold B. Lee Library Brigham Young University, Provo, UT, 84602, US
      40.249156 -111.649242
Processing Feedback ...