Topoi: the categorial analysis of logic
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Mineola, N.Y.
Dover Publications
2006
|
| Ausgabe: | Slightly corr., unabridged republication of the revised (second) ed. |
| Schlagworte: | |
| Online-Zugang: | Publisher description Inhaltsverzeichnis |
| Beschreibung: | This Dover ed., first publ. in 2006, is a slightly corr., unabridged republication of the revised (second) ed. of the work originally publ. in 1984 by Elsevier Sience Publ., Amsterdam ... |
| Beschreibung: | XX, 551 S. graph. Darst. |
| ISBN: | 0486450260 9780486450261 |
Internformat
MARC
| LEADER | 00000nam a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV022272315 | ||
| 003 | DE-604 | ||
| 005 | 20070613 | ||
| 007 | t | ||
| 008 | 070215s2006 xxud||| |||| 00||| eng d | ||
| 010 | |a 2005046778 | ||
| 020 | |a 0486450260 |c pbk. |9 0-486-45026-0 | ||
| 020 | |a 9780486450261 |9 978-0-486-45026-1 | ||
| 035 | |a (OCoLC)62728655 | ||
| 035 | |a (DE-599)BVBBV022272315 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 044 | |a xxu |c US | ||
| 049 | |a DE-355 |a DE-11 |a DE-20 | ||
| 050 | 0 | |a QA169 | |
| 082 | 0 | |a 512/.62 | |
| 084 | |a CC 2600 |0 (DE-625)17610: |2 rvk | ||
| 100 | 1 | |a Goldblatt, Robert |d 1949- |e Verfasser |0 (DE-588)1025661435 |4 aut | |
| 245 | 1 | 0 | |a Topoi |b the categorial analysis of logic |c Robert Goldblatt |
| 250 | |a Slightly corr., unabridged republication of the revised (second) ed. | ||
| 264 | 1 | |a Mineola, N.Y. |b Dover Publications |c 2006 | |
| 300 | |a XX, 551 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 500 | |a This Dover ed., first publ. in 2006, is a slightly corr., unabridged republication of the revised (second) ed. of the work originally publ. in 1984 by Elsevier Sience Publ., Amsterdam ... | ||
| 650 | 4 | |a Toposes | |
| 650 | 0 | 7 | |a Kategorientheorie |0 (DE-588)4120552-2 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Topos |0 (DE-588)4127974-8 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Logik |0 (DE-588)4036202-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Topos |g Mathematik |0 (DE-588)4185717-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Kategorie |g Mathematik |0 (DE-588)4129930-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Mathematische Logik |0 (DE-588)4037951-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Mengenlehre |0 (DE-588)4074715-3 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Topos |0 (DE-588)4127974-8 |D s |
| 689 | 0 | 1 | |a Mathematische Logik |0 (DE-588)4037951-6 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Topos |g Mathematik |0 (DE-588)4185717-3 |D s |
| 689 | 1 | |5 DE-604 | |
| 689 | 2 | 0 | |a Kategorie |g Mathematik |0 (DE-588)4129930-9 |D s |
| 689 | 2 | 1 | |a Mathematische Logik |0 (DE-588)4037951-6 |D s |
| 689 | 2 | |5 DE-604 | |
| 689 | 3 | 0 | |a Kategorientheorie |0 (DE-588)4120552-2 |D s |
| 689 | 3 | 1 | |a Logik |0 (DE-588)4036202-4 |D s |
| 689 | 3 | |5 DE-604 | |
| 689 | 4 | 0 | |a Mengenlehre |0 (DE-588)4074715-3 |D s |
| 689 | 4 | |8 1\p |5 DE-604 | |
| 856 | 4 | |u http://www.loc.gov/catdir/enhancements/fy0624/2005046778-d.html |3 Publisher description | |
| 856 | 4 | 2 | |m Digitalisierung UB Regensburg |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=015482774&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-015482774 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
Datensatz im Suchindex
| _version_ | 1804136277098889216 |
|---|---|
| adam_text | CONTENTS
Preface
Preface to Second EramoN
Preface to Dover Edition
Prospectus
Chapter
Mathematics
1.
2.
3.
Chapter
What Categories Are
1.
2.
3.
4.
5.
Chapter
Arrows Instead of
1.
2.
3.
4.
5.
6.
7.
8.
9.
10.
11.
12.
13.
14.
15.
16.
Chapter
Introducing
1.
2.
IX
xiv
XV
6
13
14
17
17
20
23
25
26
37
37
39
39
41
43
44
45
46
54
56
58
60
63
68
69
70
75
3.
4.
5.
6.
7.
8.
Chapter
Topos Structure:
1.
2.
3.
4.
5.
109
110
114
115
123
Chapter
Logic Classically Conceived
1.
2.
3.
4.
5.
6.
7.
Chapter
Algebra of Subobjects
125
126
129
133
135
136
140
146
1.
2.
3.
4.
5.
6.
7.
Chapter
Intuiţionism
173
1.
2.
75 3.
79 4.
xix
CONTENTS
Chapter
Functors
1.
2.
3.
Chapter
Set Concepts and Validity
1.
2.
3.
4.
5.
6.
Chapter
Elementary Truth
1.
guage
2.
tics
3.
4.
5.
6.
7.
8.
9.
10.
Chapter
Categorial
1.
2.
3.
4.
5.
6.
Chapter
194
194 1.
198 2.
202 3.
Chapter
211
2X1 1.
2.
^
—t
2 5.
6.
7.
8.
230
Chapter
230
1.
^fľ
r
23° 4.
2^4
266
274
2gg
2.
3.
4.
289 5.
ЦІ
305
313
320 •
328
|
| adam_txt |
CONTENTS
Preface
Preface to Second EramoN
Preface to Dover Edition
Prospectus
Chapter
Mathematics
1.
2.
3.
Chapter
What Categories Are
1.
2.
3.
4.
5.
Chapter
Arrows Instead of
1.
2.
3.
4.
5.
6.
7.
8.
9.
10.
11.
12.
13.
14.
15.
16.
Chapter
Introducing
1.
2.
IX
xiv
XV
6
13
14
17
17
20
23
25
26
37
37
39
39
41
43
44
45
46
54
56
58
60
63
68
69
70
75
3.
4.
5.
6.
7.
8.
Chapter
Topos Structure:
1.
2.
3.
4.
5.
109
110
114
115
123
Chapter
Logic Classically Conceived
1.
2.
3.
4.
5.
6.
7.
Chapter
Algebra of Subobjects
125
126
129
133
135
136
140
146
1.
2.
3.
4.
5.
6.
7.
Chapter
Intuiţionism
173
1.
2.
75 3.
79 4.
xix
CONTENTS
Chapter
Functors
1.
2.
3.
Chapter
Set Concepts and Validity
1.
2.
3.
4.
5.
6.
Chapter
Elementary Truth
1.
guage
2.
tics
3.
4.
5.
6.
7.
8.
9.
10.
Chapter
Categorial
1.
2.
3.
4.
5.
6.
Chapter
194
194 1.
198 2.
202 3.
Chapter
211
2X1 1.
2.
^
—t
2 5.
6.
7.
8.
230
Chapter
230
1.
^fľ
r"
23° 4.
2^4
266
274
2gg
2.
3.
4.
289 5.
ЦІ
305
313
320 •
328 |
| any_adam_object | 1 |
| any_adam_object_boolean | 1 |
| author | Goldblatt, Robert 1949- |
| author_GND | (DE-588)1025661435 |
| author_facet | Goldblatt, Robert 1949- |
| author_role | aut |
| author_sort | Goldblatt, Robert 1949- |
| author_variant | r g rg |
| building | Verbundindex |
| bvnumber | BV022272315 |
| callnumber-first | Q - Science |
| callnumber-label | QA169 |
| callnumber-raw | QA169 |
| callnumber-search | QA169 |
| callnumber-sort | QA 3169 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | CC 2600 |
| ctrlnum | (OCoLC)62728655 (DE-599)BVBBV022272315 |
| dewey-full | 512/.62 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 512 - Algebra |
| dewey-raw | 512/.62 |
| dewey-search | 512/.62 |
| dewey-sort | 3512 262 |
| dewey-tens | 510 - Mathematics |
| discipline | Mathematik Philosophie |
| discipline_str_mv | Mathematik Philosophie |
| edition | Slightly corr., unabridged republication of the revised (second) ed. |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02715nam a2200637zc 4500</leader><controlfield tag="001">BV022272315</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20070613 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">070215s2006 xxud||| |||| 00||| eng d</controlfield><datafield tag="010" ind1=" " ind2=" "><subfield code="a">2005046778</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0486450260</subfield><subfield code="c">pbk.</subfield><subfield code="9">0-486-45026-0</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780486450261</subfield><subfield code="9">978-0-486-45026-1</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)62728655</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV022272315</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">xxu</subfield><subfield code="c">US</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-355</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-20</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA169</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">512/.62</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">CC 2600</subfield><subfield code="0">(DE-625)17610:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Goldblatt, Robert</subfield><subfield code="d">1949-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)1025661435</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Topoi</subfield><subfield code="b">the categorial analysis of logic</subfield><subfield code="c">Robert Goldblatt</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">Slightly corr., unabridged republication of the revised (second) ed.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Mineola, N.Y.</subfield><subfield code="b">Dover Publications</subfield><subfield code="c">2006</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XX, 551 S.</subfield><subfield code="b">graph. Darst.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">This Dover ed., first publ. in 2006, is a slightly corr., unabridged republication of the revised (second) ed. of the work originally publ. in 1984 by Elsevier Sience Publ., Amsterdam ...</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Toposes</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Kategorientheorie</subfield><subfield code="0">(DE-588)4120552-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Topos</subfield><subfield code="0">(DE-588)4127974-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Logik</subfield><subfield code="0">(DE-588)4036202-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Topos</subfield><subfield code="g">Mathematik</subfield><subfield code="0">(DE-588)4185717-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Kategorie</subfield><subfield code="g">Mathematik</subfield><subfield code="0">(DE-588)4129930-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Mengenlehre</subfield><subfield code="0">(DE-588)4074715-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Topos</subfield><subfield code="0">(DE-588)4127974-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Topos</subfield><subfield code="g">Mathematik</subfield><subfield code="0">(DE-588)4185717-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" ind2="0"><subfield code="a">Kategorie</subfield><subfield code="g">Mathematik</subfield><subfield code="0">(DE-588)4129930-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2="1"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="3" ind2="0"><subfield code="a">Kategorientheorie</subfield><subfield code="0">(DE-588)4120552-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" ind2="1"><subfield code="a">Logik</subfield><subfield code="0">(DE-588)4036202-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="4" ind2="0"><subfield code="a">Mengenlehre</subfield><subfield code="0">(DE-588)4074715-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="4" ind2=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="856" ind1="4" ind2=" "><subfield code="u">http://www.loc.gov/catdir/enhancements/fy0624/2005046778-d.html</subfield><subfield code="3">Publisher description</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung UB Regensburg</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=015482774&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-015482774</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield></record></collection> |
| id | DE-604.BV022272315 |
| illustrated | Illustrated |
| index_date | 2024-07-02T16:46:31Z |
| indexdate | 2024-07-09T20:53:50Z |
| institution | BVB |
| isbn | 0486450260 9780486450261 |
| language | English |
| lccn | 2005046778 |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-015482774 |
| oclc_num | 62728655 |
| open_access_boolean | |
| owner | DE-355 DE-BY-UBR DE-11 DE-20 |
| owner_facet | DE-355 DE-BY-UBR DE-11 DE-20 |
| physical | XX, 551 S. graph. Darst. |
| publishDate | 2006 |
| publishDateSearch | 2006 |
| publishDateSort | 2006 |
| publisher | Dover Publications |
| record_format | marc |
| spelling | Goldblatt, Robert 1949- Verfasser (DE-588)1025661435 aut Topoi the categorial analysis of logic Robert Goldblatt Slightly corr., unabridged republication of the revised (second) ed. Mineola, N.Y. Dover Publications 2006 XX, 551 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier This Dover ed., first publ. in 2006, is a slightly corr., unabridged republication of the revised (second) ed. of the work originally publ. in 1984 by Elsevier Sience Publ., Amsterdam ... Toposes Kategorientheorie (DE-588)4120552-2 gnd rswk-swf Topos (DE-588)4127974-8 gnd rswk-swf Logik (DE-588)4036202-4 gnd rswk-swf Topos Mathematik (DE-588)4185717-3 gnd rswk-swf Kategorie Mathematik (DE-588)4129930-9 gnd rswk-swf Mathematische Logik (DE-588)4037951-6 gnd rswk-swf Mengenlehre (DE-588)4074715-3 gnd rswk-swf Topos (DE-588)4127974-8 s Mathematische Logik (DE-588)4037951-6 s DE-604 Topos Mathematik (DE-588)4185717-3 s Kategorie Mathematik (DE-588)4129930-9 s Kategorientheorie (DE-588)4120552-2 s Logik (DE-588)4036202-4 s Mengenlehre (DE-588)4074715-3 s 1\p DE-604 http://www.loc.gov/catdir/enhancements/fy0624/2005046778-d.html Publisher description Digitalisierung UB Regensburg application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=015482774&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Goldblatt, Robert 1949- Topoi the categorial analysis of logic Toposes Kategorientheorie (DE-588)4120552-2 gnd Topos (DE-588)4127974-8 gnd Logik (DE-588)4036202-4 gnd Topos Mathematik (DE-588)4185717-3 gnd Kategorie Mathematik (DE-588)4129930-9 gnd Mathematische Logik (DE-588)4037951-6 gnd Mengenlehre (DE-588)4074715-3 gnd |
| subject_GND | (DE-588)4120552-2 (DE-588)4127974-8 (DE-588)4036202-4 (DE-588)4185717-3 (DE-588)4129930-9 (DE-588)4037951-6 (DE-588)4074715-3 |
| title | Topoi the categorial analysis of logic |
| title_auth | Topoi the categorial analysis of logic |
| title_exact_search | Topoi the categorial analysis of logic |
| title_exact_search_txtP | Topoi the categorial analysis of logic |
| title_full | Topoi the categorial analysis of logic Robert Goldblatt |
| title_fullStr | Topoi the categorial analysis of logic Robert Goldblatt |
| title_full_unstemmed | Topoi the categorial analysis of logic Robert Goldblatt |
| title_short | Topoi |
| title_sort | topoi the categorial analysis of logic |
| title_sub | the categorial analysis of logic |
| topic | Toposes Kategorientheorie (DE-588)4120552-2 gnd Topos (DE-588)4127974-8 gnd Logik (DE-588)4036202-4 gnd Topos Mathematik (DE-588)4185717-3 gnd Kategorie Mathematik (DE-588)4129930-9 gnd Mathematische Logik (DE-588)4037951-6 gnd Mengenlehre (DE-588)4074715-3 gnd |
| topic_facet | Toposes Kategorientheorie Topos Logik Topos Mathematik Kategorie Mathematik Mathematische Logik Mengenlehre |
| url | http://www.loc.gov/catdir/enhancements/fy0624/2005046778-d.html http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=015482774&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT goldblattrobert topoithecategorialanalysisoflogic |