| Record ID | marc_loc_2016/BooksAll.2016.part10.utf8:108883170:934 |
| Source | Library of Congress |
| Download Link | /show-records/marc_loc_2016/BooksAll.2016.part10.utf8:108883170:934?format=raw |
LEADER: 00934cam a2200265 i 4500
001 77013221
003 DLC
005 20111221083314.0
008 770907s1977 gw a b 000 0 eng
010 $a 77013221
020 $a0387084398
040 $aDLC$cDLC$dDLC
050 00 $aQA3$b.L28 no. 611$aQA9.7
082 00 $a510/.8 s$a512/.55
100 1 $aMakkai, Mihály,$d1939-
245 10 $aFirst order categorical logic :$bmodel-theoretical methods in the theory of topoi and related categories /$cMichael Makkai, Gonzalo Reyes.
260 $aBerlin ;$aNew York :$bSpringer-Verlag,$c1977.
300 $aviii, 301 p. :$bill. ;$c25 cm.
490 1 $aLecture notes in mathematics ; 611
504 $aBibliography: p. [298]-301.
650 0 $aModel theory.
650 0 $aCategories (Mathematics)
650 0 $aToposes.
700 1 $aReyes, Gonzalo E.,$d1937-$ejoint author.
830 0 $aLecture notes in mathematics (Springer-Verlag) ;$v611.