Topoi: the categorial analysis of logic
The first of its kind, this book presents a widely accessible exposition of topos theory, aimed at the philosopher-logician as well as the mathematician. It is suitable for individual study or use in class at the graduate level (it includes 500 exercises). It begins with a fully motivated introducti...
Gespeichert in:
1. Verfasser: | |
---|---|
Format: | Elektronisch E-Book |
Sprache: | English |
Veröffentlicht: |
Amsterdam New York North-Holland
Elsevier Science Publishers
1984
|
Ausgabe: | Revised edition |
Schriftenreihe: | Studies in logic and the foundations of mathematics
v. 98 |
Schlagworte: | |
Online-Zugang: | FAW01 UBY01 Volltext |
Zusammenfassung: | The first of its kind, this book presents a widely accessible exposition of topos theory, aimed at the philosopher-logician as well as the mathematician. It is suitable for individual study or use in class at the graduate level (it includes 500 exercises). It begins with a fully motivated introduction to category theory itself, moving always from the particular example to the abstract concept. It then introduces the notion of elementary topos, with a wide range of examples and goes on to develop its theory in depth, and to elicit in detail its relationship to Kripke's intuitionistic semantics, models of classical set theory and the conceptual framework of sheaf theory (''localization'' of truth). Of particular interest is a Dedekind-cuts style construction of number systems in topoi, leading to a model of the intuitionistic continuum in which a ''Dedekind-real'' becomes represented as a ''continuously-variable classical real number'' |
Beschreibung: | Includes bibliographical references and index |
Beschreibung: | 1 online resource (xvi, 551 pages) |
ISBN: | 0444867112 9780444867117 9781483299211 148329921X |
Internformat
MARC
LEADER | 00000nmm a2200000zcb4500 | ||
---|---|---|---|
001 | BV044389420 | ||
003 | DE-604 | ||
005 | 20221212 | ||
007 | cr|uuu---uuuuu | ||
008 | 170630s1984 |||| o||u| ||||||eng d | ||
020 | |a 0444867112 |9 0-444-86711-2 | ||
020 | |a 9780444867117 |9 978-0-444-86711-7 | ||
020 | |a 9781483299211 |9 978-1-4832-9921-1 | ||
020 | |a 148329921X |9 1-4832-9921-X | ||
035 | |a (ZDB-33-ESD)ocn884340719 | ||
035 | |a (OCoLC)884340719 | ||
035 | |a (DE-599)BVBBV044389420 | ||
040 | |a DE-604 |b ger |e rda | ||
041 | 0 | |a eng | |
049 | |a DE-1046 |a DE-706 | ||
082 | 0 | |a 512.55 | |
084 | |a SK 130 |0 (DE-625)143216: |2 rvk | ||
084 | |a SK 230 |0 (DE-625)143225: |2 rvk | ||
084 | |a SK 320 |0 (DE-625)143231: |2 rvk | ||
100 | 1 | |a Goldblatt, Robert |e Verfasser |4 aut | |
245 | 1 | 0 | |a Topoi |b the categorial analysis of logic |c Robert Goldblatt |
250 | |a Revised edition | ||
264 | 1 | |a Amsterdam |a New York |a North-Holland |b Elsevier Science Publishers |c 1984 | |
300 | |a 1 online resource (xvi, 551 pages) | ||
336 | |b txt |2 rdacontent | ||
337 | |b c |2 rdamedia | ||
338 | |b cr |2 rdacarrier | ||
490 | 0 | |a Studies in logic and the foundations of mathematics |v v. 98 | |
500 | |a Includes bibliographical references and index | ||
520 | |a The first of its kind, this book presents a widely accessible exposition of topos theory, aimed at the philosopher-logician as well as the mathematician. It is suitable for individual study or use in class at the graduate level (it includes 500 exercises). It begins with a fully motivated introduction to category theory itself, moving always from the particular example to the abstract concept. It then introduces the notion of elementary topos, with a wide range of examples and goes on to develop its theory in depth, and to elicit in detail its relationship to Kripke's intuitionistic semantics, models of classical set theory and the conceptual framework of sheaf theory (''localization'' of truth). Of particular interest is a Dedekind-cuts style construction of number systems in topoi, leading to a model of the intuitionistic continuum in which a ''Dedekind-real'' becomes represented as a ''continuously-variable classical real number'' | ||
650 | 7 | |a Toposes |2 fast | |
650 | 4 | |a Toposes | |
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 Topos |g Mathematik |0 (DE-588)4185717-3 |2 gnd |9 rswk-swf |
650 | 0 | 7 | |a Kategorientheorie |0 (DE-588)4120552-2 |2 gnd |9 rswk-swf |
650 | 0 | 7 | |a Logik |0 (DE-588)4036202-4 |2 gnd |9 rswk-swf |
650 | 0 | 7 | |a Mengenlehre |0 (DE-588)4074715-3 |2 gnd |9 rswk-swf |
650 | 0 | 7 | |a Topos |0 (DE-588)4127974-8 |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 | |8 1\p |5 DE-604 | |
689 | 1 | 0 | |a Kategorientheorie |0 (DE-588)4120552-2 |D s |
689 | 1 | 1 | |a Logik |0 (DE-588)4036202-4 |D s |
689 | 1 | |8 2\p |5 DE-604 | |
689 | 2 | 0 | |a Topos |g Mathematik |0 (DE-588)4185717-3 |D s |
689 | 2 | |8 3\p |5 DE-604 | |
689 | 3 | 0 | |a Mathematische Logik |0 (DE-588)4037951-6 |D s |
689 | 3 | 1 | |a Kategorie |g Mathematik |0 (DE-588)4129930-9 |D s |
689 | 3 | 2 | |a Mengenlehre |0 (DE-588)4074715-3 |D s |
689 | 3 | |8 4\p |5 DE-604 | |
689 | 4 | 0 | |a Mengenlehre |0 (DE-588)4074715-3 |D s |
689 | 4 | |8 5\p |5 DE-604 | |
776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |a Goldblatt, Robert |t Topoi |b Rev. ed |d Amsterdam ; New York ; North-Holland ; New York, N.Y. : Sole distributors for the U.S.A. and Canada, Elsevier North-Holland, 1984 |z 0444867112 |
856 | 4 | 0 | |u http://www.sciencedirect.com/science/bookseries/0049237X/98 |x Verlag |z URL des Erstveröffentlichers |3 Volltext |
912 | |a ZDB-33-ESD |a ZDB-33-EBS | ||
999 | |a oai:aleph.bib-bvb.de:BVB01-029791642 | ||
883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
883 | 1 | |8 2\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
883 | 1 | |8 3\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
883 | 1 | |8 4\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
883 | 1 | |8 5\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
966 | e | |u http://www.sciencedirect.com/science/bookseries/0049237X/98 |l FAW01 |p ZDB-33-ESD |q FAW_PDA_ESD |x Verlag |3 Volltext | |
966 | e | |u http://www.sciencedirect.com/science/bookseries/0049237X/98 |l UBY01 |p ZDB-33-ESD |x Verlag |3 Volltext |
Datensatz im Suchindex
_version_ | 1804177660637609984 |
---|---|
any_adam_object | |
author | Goldblatt, Robert |
author_facet | Goldblatt, Robert |
author_role | aut |
author_sort | Goldblatt, Robert |
author_variant | r g rg |
building | Verbundindex |
bvnumber | BV044389420 |
classification_rvk | SK 130 SK 230 SK 320 |
collection | ZDB-33-ESD ZDB-33-EBS |
ctrlnum | (ZDB-33-ESD)ocn884340719 (OCoLC)884340719 (DE-599)BVBBV044389420 |
dewey-full | 512.55 |
dewey-hundreds | 500 - Natural sciences and mathematics |
dewey-ones | 512 - Algebra |
dewey-raw | 512.55 |
dewey-search | 512.55 |
dewey-sort | 3512.55 |
dewey-tens | 510 - Mathematics |
discipline | Mathematik |
edition | Revised edition |
format | Electronic eBook |
fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>04437nmm a2200793zcb4500</leader><controlfield tag="001">BV044389420</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20221212 </controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">170630s1984 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0444867112</subfield><subfield code="9">0-444-86711-2</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780444867117</subfield><subfield code="9">978-0-444-86711-7</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781483299211</subfield><subfield code="9">978-1-4832-9921-1</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">148329921X</subfield><subfield code="9">1-4832-9921-X</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-33-ESD)ocn884340719</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)884340719</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV044389420</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-1046</subfield><subfield code="a">DE-706</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">512.55</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SK 130</subfield><subfield code="0">(DE-625)143216:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SK 230</subfield><subfield code="0">(DE-625)143225:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SK 320</subfield><subfield code="0">(DE-625)143231:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Goldblatt, Robert</subfield><subfield code="e">Verfasser</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">Revised edition</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Amsterdam</subfield><subfield code="a">New York</subfield><subfield code="a">North-Holland</subfield><subfield code="b">Elsevier Science Publishers</subfield><subfield code="c">1984</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource (xvi, 551 pages)</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">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">Studies in logic and the foundations of mathematics</subfield><subfield code="v">v. 98</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references and index</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">The first of its kind, this book presents a widely accessible exposition of topos theory, aimed at the philosopher-logician as well as the mathematician. It is suitable for individual study or use in class at the graduate level (it includes 500 exercises). It begins with a fully motivated introduction to category theory itself, moving always from the particular example to the abstract concept. It then introduces the notion of elementary topos, with a wide range of examples and goes on to develop its theory in depth, and to elicit in detail its relationship to Kripke's intuitionistic semantics, models of classical set theory and the conceptual framework of sheaf theory (''localization'' of truth). Of particular interest is a Dedekind-cuts style construction of number systems in topoi, leading to a model of the intuitionistic continuum in which a ''Dedekind-real'' becomes represented as a ''continuously-variable classical real number''</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Toposes</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Toposes</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">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">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">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">Mengenlehre</subfield><subfield code="0">(DE-588)4074715-3</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="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="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" 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="1" 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="1" ind2=" "><subfield code="8">2\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" 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="2" ind2=" "><subfield code="8">3\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="3" ind2="0"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" ind2="1"><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="3" ind2="2"><subfield code="a">Mengenlehre</subfield><subfield code="0">(DE-588)4074715-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" ind2=" "><subfield code="8">4\p</subfield><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">5\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="a">Goldblatt, Robert</subfield><subfield code="t">Topoi</subfield><subfield code="b">Rev. ed</subfield><subfield code="d">Amsterdam ; New York ; North-Holland ; New York, N.Y. : Sole distributors for the U.S.A. and Canada, Elsevier North-Holland, 1984</subfield><subfield code="z">0444867112</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">http://www.sciencedirect.com/science/bookseries/0049237X/98</subfield><subfield code="x">Verlag</subfield><subfield code="z">URL des Erstveröffentlichers</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-33-ESD</subfield><subfield code="a">ZDB-33-EBS</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-029791642</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><datafield tag="883" ind1="1" ind2=" "><subfield code="8">2\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><datafield tag="883" ind1="1" ind2=" "><subfield code="8">3\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><datafield tag="883" ind1="1" ind2=" "><subfield code="8">4\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><datafield tag="883" ind1="1" ind2=" "><subfield code="8">5\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><datafield tag="966" ind1="e" ind2=" "><subfield code="u">http://www.sciencedirect.com/science/bookseries/0049237X/98</subfield><subfield code="l">FAW01</subfield><subfield code="p">ZDB-33-ESD</subfield><subfield code="q">FAW_PDA_ESD</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">http://www.sciencedirect.com/science/bookseries/0049237X/98</subfield><subfield code="l">UBY01</subfield><subfield code="p">ZDB-33-ESD</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
id | DE-604.BV044389420 |
illustrated | Not Illustrated |
indexdate | 2024-07-10T07:51:37Z |
institution | BVB |
isbn | 0444867112 9780444867117 9781483299211 148329921X |
language | English |
oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-029791642 |
oclc_num | 884340719 |
open_access_boolean | |
owner | DE-1046 DE-706 |
owner_facet | DE-1046 DE-706 |
physical | 1 online resource (xvi, 551 pages) |
psigel | ZDB-33-ESD ZDB-33-EBS ZDB-33-ESD FAW_PDA_ESD |
publishDate | 1984 |
publishDateSearch | 1984 |
publishDateSort | 1984 |
publisher | Elsevier Science Publishers |
record_format | marc |
series2 | Studies in logic and the foundations of mathematics |
spelling | Goldblatt, Robert Verfasser aut Topoi the categorial analysis of logic Robert Goldblatt Revised edition Amsterdam New York North-Holland Elsevier Science Publishers 1984 1 online resource (xvi, 551 pages) txt rdacontent c rdamedia cr rdacarrier Studies in logic and the foundations of mathematics v. 98 Includes bibliographical references and index The first of its kind, this book presents a widely accessible exposition of topos theory, aimed at the philosopher-logician as well as the mathematician. It is suitable for individual study or use in class at the graduate level (it includes 500 exercises). It begins with a fully motivated introduction to category theory itself, moving always from the particular example to the abstract concept. It then introduces the notion of elementary topos, with a wide range of examples and goes on to develop its theory in depth, and to elicit in detail its relationship to Kripke's intuitionistic semantics, models of classical set theory and the conceptual framework of sheaf theory (''localization'' of truth). Of particular interest is a Dedekind-cuts style construction of number systems in topoi, leading to a model of the intuitionistic continuum in which a ''Dedekind-real'' becomes represented as a ''continuously-variable classical real number'' Toposes fast Toposes Kategorie Mathematik (DE-588)4129930-9 gnd rswk-swf Mathematische Logik (DE-588)4037951-6 gnd rswk-swf Topos Mathematik (DE-588)4185717-3 gnd rswk-swf Kategorientheorie (DE-588)4120552-2 gnd rswk-swf Logik (DE-588)4036202-4 gnd rswk-swf Mengenlehre (DE-588)4074715-3 gnd rswk-swf Topos (DE-588)4127974-8 gnd rswk-swf Topos (DE-588)4127974-8 s Mathematische Logik (DE-588)4037951-6 s 1\p DE-604 Kategorientheorie (DE-588)4120552-2 s Logik (DE-588)4036202-4 s 2\p DE-604 Topos Mathematik (DE-588)4185717-3 s 3\p DE-604 Kategorie Mathematik (DE-588)4129930-9 s Mengenlehre (DE-588)4074715-3 s 4\p DE-604 5\p DE-604 Erscheint auch als Druck-Ausgabe Goldblatt, Robert Topoi Rev. ed Amsterdam ; New York ; North-Holland ; New York, N.Y. : Sole distributors for the U.S.A. and Canada, Elsevier North-Holland, 1984 0444867112 http://www.sciencedirect.com/science/bookseries/0049237X/98 Verlag URL des Erstveröffentlichers Volltext 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 2\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 3\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 4\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 5\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
spellingShingle | Goldblatt, Robert Topoi the categorial analysis of logic Toposes fast Toposes Kategorie Mathematik (DE-588)4129930-9 gnd Mathematische Logik (DE-588)4037951-6 gnd Topos Mathematik (DE-588)4185717-3 gnd Kategorientheorie (DE-588)4120552-2 gnd Logik (DE-588)4036202-4 gnd Mengenlehre (DE-588)4074715-3 gnd Topos (DE-588)4127974-8 gnd |
subject_GND | (DE-588)4129930-9 (DE-588)4037951-6 (DE-588)4185717-3 (DE-588)4120552-2 (DE-588)4036202-4 (DE-588)4074715-3 (DE-588)4127974-8 |
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_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 fast Toposes Kategorie Mathematik (DE-588)4129930-9 gnd Mathematische Logik (DE-588)4037951-6 gnd Topos Mathematik (DE-588)4185717-3 gnd Kategorientheorie (DE-588)4120552-2 gnd Logik (DE-588)4036202-4 gnd Mengenlehre (DE-588)4074715-3 gnd Topos (DE-588)4127974-8 gnd |
topic_facet | Toposes Kategorie Mathematik Mathematische Logik Topos Mathematik Kategorientheorie Logik Mengenlehre Topos |
url | http://www.sciencedirect.com/science/bookseries/0049237X/98 |
work_keys_str_mv | AT goldblattrobert topoithecategorialanalysisoflogic |