Toposes, algebraic geometry and logic : Dalhousie University, Halifax, January 16-19, 1971 /
Saved in:
| Imprint: | Berlin ; New York : Springer-Verlag, 1972. |
|---|---|
| Description: | 1 online resource (189 pages). |
| Language: | English |
| Series: | Lecture notes in mathematics, 0075-8434 ; 274 Lecture notes in mathematics (Springer-Verlag) ; 274. |
| Subject: | |
| Format: | E-Resource Book |
| URL for this record: | http://pi.lib.uchicago.edu/1001/cat/bib/11070805 |
MARC
| LEADER | 00000cam a2200000Ia 4500 | ||
|---|---|---|---|
| 001 | 11070805 | ||
| 005 | 20170630044909.1 | ||
| 006 | m o d | ||
| 007 | cr unu|||||||| | ||
| 008 | 090102s1972 gw ob 100 0 eng d | ||
| 003 | ICU | ||
| 040 | |a SPLNM |b eng |e pn |c SPLNM |d GW5XE |d OCLCQ |d OL$ |d OCLCO |d OCLCQ |d GW5XE |d OCLCF |d OCLCQ |d OCLCO |d OCL |d OCLCO |d OCLCQ |d TXI |d OCLCQ | ||
| 020 | |a 9783540376095 |q (electronic bk.) | ||
| 020 | |a 3540376097 |q (electronic bk.) | ||
| 020 | |z 9783540059202 | ||
| 020 | |z 3540059202 | ||
| 020 | |z 9780387059204 | ||
| 020 | |z 0387059202 | ||
| 035 | |a (OCoLC)295210238 | ||
| 050 | 4 | |a QA3 |b .L28 no. 274 |a QA169 | |
| 049 | |a MAIN | ||
| 245 | 0 | 0 | |a Toposes, algebraic geometry and logic : |b Dalhousie University, Halifax, January 16-19, 1971 / |c I Bucur [and others] ; edited by F.W. Lawvere. |
| 260 | |a Berlin ; |a New York : |b Springer-Verlag, |c 1972. | ||
| 300 | |a 1 online resource (189 pages). | ||
| 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 274 | |
| 504 | |a Includes bibliographical references. | ||
| 588 | 0 | |a Print version record. | |
| 505 | 0 | |a Sheaf theory and the continuum hypothesis -- Classifying topos -- Deductive systems and categories III. Cartesian closed categories, intuitionist propositional calculus, and combinatory logic -- The formalization of Bishop's constructive mathematics -- Continuous lattices -- Some applications of the formalism of duality in algebraic geometry -- Cotangent complex and deformations of torsors and group schemes. | |
| 650 | 0 | |a Categories (Mathematics) |v Congresses. |0 http://id.loc.gov/authorities/subjects/sh2009118525 | |
| 650 | 0 | |a Geometry, Algebraic |v Congresses. |0 http://id.loc.gov/authorities/subjects/sh2008105180 | |
| 650 | 0 | |a Logic, Symbolic and mathematical |v Congresses. |0 http://id.loc.gov/authorities/subjects/sh2008107112 | |
| 650 | 0 | |a Toposes. |0 http://id.loc.gov/authorities/subjects/sh85136094 | |
| 650 | 7 | |a Categories (Mathematics) |2 fast |0 (OCoLC)fst00849000 | |
| 650 | 7 | |a Geometry, Algebraic. |2 fast |0 (OCoLC)fst00940902 | |
| 650 | 7 | |a Logic, Symbolic and mathematical. |2 fast |0 (OCoLC)fst01002068 | |
| 650 | 7 | |a Toposes. |2 fast |0 (OCoLC)fst01152703 | |
| 655 | 4 | |a Electronic books. | |
| 655 | 7 | |a Conference papers and proceedings. |2 fast |0 (OCoLC)fst01423772 | |
| 700 | 1 | |a Bucur, Ionel, |d 1930-1976. |0 http://id.loc.gov/authorities/names/n82020223 |1 http://viaf.org/viaf/40711208 | |
| 700 | 1 | |a Lawvere, F. W. |0 http://id.loc.gov/authorities/names/n85170090 |1 http://viaf.org/viaf/51665022 | |
| 710 | 2 | |a Dalhousie University. |0 http://id.loc.gov/authorities/names/n79038417 |1 http://viaf.org/viaf/127757839 | |
| 776 | 0 | 8 | |i Print version: |t Toposes, algebraic geometry and logic. |d Berlin, New York, Springer-Verlag, 1972 |z 0387059202 |w (DLC) 72086101 |w (OCoLC)508438 |
| 830 | 0 | |a Lecture notes in mathematics (Springer-Verlag) ; |v 274. | |
| 856 | 4 | 0 | |u http://link.springer.com/10.1007/BFb0073961 |y SpringerLink |
| 903 | |a HeVa | ||
| 929 | |a eresource | ||
| 999 | f | f | |i 30b55f40-a5b7-5b71-97c2-9b14b2948b1d |s 0a0ec196-a46d-5007-afde-88cb597aabee |
| 928 | |t Library of Congress classification |a QA3 .L28 no. 274 |l Online |c UC-FullText |u http://link.springer.com/10.1007/BFb0073961 |z SpringerLink |g ebooks |i 9878870 | ||