Verfügbarkeit: Topoi :: THWS Bibkatalog

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...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Goldblatt, Robert (VerfasserIn)
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:	Toposes Kategorie > Mathematik Mathematische Logik Topos > Mathematik Kategorientheorie Logik Mengenlehre Topos
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

Verfügbarkeit

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand! Volltext öffnen

MARC

Datensatz im Suchindex

Es ist kein Print-Exemplar vorhanden.

Ähnliche Einträge