First order categorical logic : model-theoretical methods in the theory of topoi and related categories /
Saved in:
| Author / Creator: | Makkai, Mihály, 1939- |
|---|---|
| Imprint: | Berlin ; New York : Springer-Verlag, 1977. |
| Description: | 1 online resource (viii, 301 pages) : illustrations. |
| Language: | English |
| Series: | Lecture notes in mathematics, 0075-8434 ; 611 Lecture notes in mathematics (Springer-Verlag) ; 611. |
| Subject: | |
| Format: | E-Resource Book |
| URL for this record: | http://pi.lib.uchicago.edu/1001/cat/bib/11070320 |
MARC
| LEADER | 00000cam a2200000Ii 4500 | ||
|---|---|---|---|
| 001 | 11070320 | ||
| 005 | 20170630045823.3 | ||
| 006 | m o d | ||
| 007 | cr unu|||||||| | ||
| 008 | 081221s1977 gw a ob 000 0 eng d | ||
| 003 | ICU | ||
| 040 | |a SPLNM |b eng |e pn |c SPLNM |d GW5XE |d OCLCQ |d OCLCA |d OCLCE |d GW5XE |d OCLCO |d OCLCF |d OCLCQ |d CSU |d OCLCQ | ||
| 019 | |a 654129578 |a 681867325 |a 768480498 | ||
| 020 | |a 9783540371007 |q (electronic bk.) | ||
| 020 | |a 3540371001 |q (electronic bk.) | ||
| 020 | |z 0387084398 | ||
| 020 | |z 9780387084398 | ||
| 035 | |a (OCoLC)289096613 |z (OCoLC)654129578 |z (OCoLC)681867325 |z (OCoLC)768480498 | ||
| 042 | |a dlr | ||
| 050 | 4 | |a QA3 |b .L28 no. 611 |a QA9.7 | |
| 049 | |a MAIN | ||
| 100 | 1 | |a Makkai, Mihály, |d 1939- |0 http://id.loc.gov/authorities/names/n77007178 |1 http://viaf.org/viaf/5482650 | |
| 245 | 1 | 0 | |a First order categorical logic : |b model-theoretical methods in the theory of topoi and related categories / |c Michael Makkai, Gonzalo Reyes. |
| 260 | |a Berlin ; |a New York : |b Springer-Verlag, |c 1977. | ||
| 300 | |a 1 online resource (viii, 301 pages) : |b illustrations. | ||
| 336 | |a text |b txt |2 rdacontent |0 http://id.loc.gov/vocabulary/contentTypes/txt | ||
| 337 | |a computer |b c |2 rdamedia |0 http://id.loc.gov/vocabulary/mediaTypes/c | ||
| 338 | |a online resource |b cr |2 rdacarrier |0 http://id.loc.gov/vocabulary/carriers/cr | ||
| 490 | 1 | |a Lecture notes in mathematics, |x 0075-8434 ; |v 611 | |
| 504 | |a Includes bibliographical references (pages 298-301). | ||
| 506 | |3 Use copy |f Restrictions unspecified |2 star |5 MiAaHDL | ||
| 533 | |a Electronic reproduction. |b [S.l.] : |c HathiTrust Digital Library, |d 2010. |5 MiAaHDL | ||
| 538 | |a Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002. |u http://purl.oclc.org/DLF/benchrepro0212 |5 MiAaHDL | ||
| 583 | 1 | |a digitized |c 2010 |h HathiTrust Digital Library |l committed to preserve |2 pda |5 MiAaHDL | |
| 588 | 0 | |a Print version record. | |
| 650 | 0 | |a Model theory. |0 http://id.loc.gov/authorities/subjects/sh85086421 | |
| 650 | 0 | |a Categories (Mathematics) |0 http://id.loc.gov/authorities/subjects/sh85020992 | |
| 650 | 0 | |a Toposes. |0 http://id.loc.gov/authorities/subjects/sh85136094 | |
| 650 | 6 | |a Modèles, Théorie des. | |
| 650 | 6 | |a Catégories (Mathématiques) | |
| 650 | 6 | |a Topos (Mathématiques) | |
| 650 | 7 | |a Categories (Mathematics) |2 fast |0 (OCoLC)fst00849000 | |
| 650 | 7 | |a Model theory. |2 fast |0 (OCoLC)fst01024368 | |
| 650 | 7 | |a Toposes. |2 fast |0 (OCoLC)fst01152703 | |
| 650 | 0 | 7 | |a Kategorie (Mathematik) |2 swd |
| 650 | 0 | 7 | |a Modelltheorie. |2 swd |
| 650 | 0 | 7 | |a Topos (Mathematik) |2 swd |
| 655 | 4 | |a Electronic books. | |
| 700 | 1 | |a Reyes, Gonzalo E., |d 1937- |0 http://id.loc.gov/authorities/names/n77007179 |1 http://viaf.org/viaf/205344861 | |
| 776 | 0 | 8 | |i Print version: |a Makkai, Michael, 1939- |t First order categorical logic. |d Berlin ; New York : Springer-Verlag, 1977 |z 0387084398 |w (DLC) 77013221 |w (OCoLC)3292691 |
| 830 | 0 | |a Lecture notes in mathematics (Springer-Verlag) ; |v 611. | |
| 856 | 4 | 0 | |u http://link.springer.com/10.1007/BFb0066201 |y SpringerLink |
| 903 | |a HeVa | ||
| 929 | |a eresource | ||
| 999 | f | f | |i e3417010-ba13-5e20-9e6d-561855c59343 |s b2a3f33d-03f4-5241-a876-14e766f7c566 |
| 928 | |t Library of Congress classification |a QA3 .L28 no. 611 |l Online |c UC-FullText |u http://link.springer.com/10.1007/BFb0066201 |z SpringerLink |g ebooks |i 9878370 | ||