Verfügbarkeit: Simplified independence proofs | Technische Universität München

Simplified independence proofs: Boolean valued models of set theory

Gespeichert in:

Bibliographische Detailangaben
Beteilige Person:	Rosser, John Barkley 1907-1989 (VerfasserIn)
Format:	Buch
Sprache:	Englisch
Veröffentlicht:	New York [u.a.] Acad. Pr. 1969
Schriftenreihe:	Pure and applied mathematics 31
Schlagwörter:	Boole, Algèbre de Ensembles, Théorie des Logique symbolique et mathématique Algebra, Boolean Independence (Mathematics) Set theory Beweis Mathematik Mengenlehre Boolesche Algebra
Umfang:	xi, 217 S.
ISBN:	0125980507

Internformat

MARC


LEADER	00000nam a2200000 cb4500
001	BV002656472
003	DE-604
005	20181025
007	t\|
008	900606s1969 xx \|\|\|\| 00\|\|\| engod
020			\|a 0125980507 \|9 0-12-598050-7
035			\|a (OCoLC)12013
035			\|a (DE-599)BVBBV002656472
040			\|a DE-604 \|b ger \|e rakddb
041	0		\|a eng
049			\|a DE-91G \|a DE-355 \|a DE-824 \|a DE-29 \|a DE-29T \|a DE-20 \|a DE-83 \|a DE-188 \|a DE-11
050		0	\|a QA3
082	0		\|a 164 \|2 18
084			\|a CC 2600 \|0 (DE-625)17610: \|2 rvk
084			\|a SK 130 \|0 (DE-625)143216: \|2 rvk
084			\|a SK 150 \|0 (DE-625)143218: \|2 rvk
084			\|a 03E35 \|2 msc
100	1		\|a Rosser, John Barkley \|d 1907-1989 \|e Verfasser \|0 (DE-588)129075728 \|4 aut
245	1	0	\|a Simplified independence proofs \|b Boolean valued models of set theory \|c J. Barkley Rosser
264		1	\|a New York [u.a.] \|b Acad. Pr. \|c 1969
300			\|a xi, 217 S.
336			\|b txt \|2 rdacontent
337			\|b n \|2 rdamedia
338			\|b nc \|2 rdacarrier
490	1		\|a Pure and applied mathematics \|v 31
650		4	\|a Boole, Algèbre de
650		4	\|a Ensembles, Théorie des
650		4	\|a Logique symbolique et mathématique
650		4	\|a Algebra, Boolean
650		4	\|a Independence (Mathematics)
650		4	\|a Set theory
650	0	7	\|a Beweis \|0 (DE-588)4132532-1 \|2 gnd \|9 rswk-swf
650	0	7	\|a Mathematik \|0 (DE-588)4037944-9 \|2 gnd \|9 rswk-swf
650	0	7	\|a Mengenlehre \|0 (DE-588)4074715-3 \|2 gnd \|9 rswk-swf
650	0	7	\|a Boolesche Algebra \|0 (DE-588)4146280-4 \|2 gnd \|9 rswk-swf
689	0	0	\|a Beweis \|0 (DE-588)4132532-1 \|D s
689	0	1	\|a Mathematik \|0 (DE-588)4037944-9 \|D s
689	0		\|5 DE-604
689	1	0	\|a Mengenlehre \|0 (DE-588)4074715-3 \|D s
689	1	1	\|a Boolesche Algebra \|0 (DE-588)4146280-4 \|D s
689	1		\|5 DE-604
830		0	\|a Pure and applied mathematics \|v 31 \|w (DE-604)BV010177228 \|9 31
943	1		\|a oai:aleph.bib-bvb.de:BVB01-001703232

Datensatz im Suchindex

DE-BY-TUM_call_number	0102 MAT 036 2001 A 28980
DE-BY-TUM_katkey	479232
DE-BY-TUM_location	01
DE-BY-TUM_media_number	040010387674 040010387685
_version_	1821938795198545920
any_adam_object
author	Rosser, John Barkley 1907-1989
author_GND	(DE-588)129075728
author_facet	Rosser, John Barkley 1907-1989
author_role	aut
author_sort	Rosser, John Barkley 1907-1989
author_variant	j b r jb jbr
building	Verbundindex
bvnumber	BV002656472
callnumber-first	Q - Science
callnumber-label	QA3
callnumber-raw	QA3
callnumber-search	QA3
callnumber-sort	QA 13
callnumber-subject	QA - Mathematics
classification_rvk	CC 2600 SK 130 SK 150
ctrlnum	(OCoLC)12013 (DE-599)BVBBV002656472
dewey-full	164
dewey-hundreds	100 - Philosophy & psychology
dewey-ones	164 - [Unassigned]
dewey-raw	164
dewey-search	164
dewey-sort	3164
dewey-tens	160 - Philosophical logic
discipline	Mathematik Philosophie
format	Book
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01874nam a2200541 cb4500</leader><controlfield tag="001">BV002656472</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20181025 </controlfield><controlfield tag="007">t\|</controlfield><controlfield tag="008">900606s1969 xx \|\|\|\| 00\|\|\| engod</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0125980507</subfield><subfield code="9">0-12-598050-7</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)12013</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV002656472</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91G</subfield><subfield code="a">DE-355</subfield><subfield code="a">DE-824</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-188</subfield><subfield code="a">DE-11</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA3</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">164</subfield><subfield code="2">18</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="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 150</subfield><subfield code="0">(DE-625)143218:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">03E35</subfield><subfield code="2">msc</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Rosser, John Barkley</subfield><subfield code="d">1907-1989</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)129075728</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Simplified independence proofs</subfield><subfield code="b">Boolean valued models of set theory</subfield><subfield code="c">J. Barkley Rosser</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">New York [u.a.]</subfield><subfield code="b">Acad. Pr.</subfield><subfield code="c">1969</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">xi, 217 S.</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="490" ind1="1" ind2=" "><subfield code="a">Pure and applied mathematics</subfield><subfield code="v">31</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Boole, Algèbre de</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Ensembles, Théorie des</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logique symbolique et mathématique</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Algebra, Boolean</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Independence (Mathematics)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Set theory</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Beweis</subfield><subfield code="0">(DE-588)4132532-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Mathematik</subfield><subfield code="0">(DE-588)4037944-9</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">Boolesche Algebra</subfield><subfield code="0">(DE-588)4146280-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Beweis</subfield><subfield code="0">(DE-588)4132532-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Mathematik</subfield><subfield code="0">(DE-588)4037944-9</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">Mengenlehre</subfield><subfield code="0">(DE-588)4074715-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Boolesche Algebra</subfield><subfield code="0">(DE-588)4146280-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Pure and applied mathematics</subfield><subfield code="v">31</subfield><subfield code="w">(DE-604)BV010177228</subfield><subfield code="9">31</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-001703232</subfield></datafield></record></collection>
id	DE-604.BV002656472
illustrated	Not Illustrated
indexdate	2024-12-20T07:53:22Z
institution	BVB
isbn	0125980507
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-001703232
oclc_num	12013
open_access_boolean
owner	DE-91G DE-BY-TUM DE-355 DE-BY-UBR DE-824 DE-29 DE-29T DE-20 DE-83 DE-188 DE-11
owner_facet	DE-91G DE-BY-TUM DE-355 DE-BY-UBR DE-824 DE-29 DE-29T DE-20 DE-83 DE-188 DE-11
physical	xi, 217 S.
publishDate	1969
publishDateSearch	1969
publishDateSort	1969
publisher	Acad. Pr.
record_format	marc
series	Pure and applied mathematics
series2	Pure and applied mathematics
spellingShingle	Rosser, John Barkley 1907-1989 Simplified independence proofs Boolean valued models of set theory Pure and applied mathematics Boole, Algèbre de Ensembles, Théorie des Logique symbolique et mathématique Algebra, Boolean Independence (Mathematics) Set theory Beweis (DE-588)4132532-1 gnd Mathematik (DE-588)4037944-9 gnd Mengenlehre (DE-588)4074715-3 gnd Boolesche Algebra (DE-588)4146280-4 gnd
subject_GND	(DE-588)4132532-1 (DE-588)4037944-9 (DE-588)4074715-3 (DE-588)4146280-4
title	Simplified independence proofs Boolean valued models of set theory
title_auth	Simplified independence proofs Boolean valued models of set theory
title_exact_search	Simplified independence proofs Boolean valued models of set theory
title_full	Simplified independence proofs Boolean valued models of set theory J. Barkley Rosser
title_fullStr	Simplified independence proofs Boolean valued models of set theory J. Barkley Rosser
title_full_unstemmed	Simplified independence proofs Boolean valued models of set theory J. Barkley Rosser
title_short	Simplified independence proofs
title_sort	simplified independence proofs boolean valued models of set theory
title_sub	Boolean valued models of set theory
topic	Boole, Algèbre de Ensembles, Théorie des Logique symbolique et mathématique Algebra, Boolean Independence (Mathematics) Set theory Beweis (DE-588)4132532-1 gnd Mathematik (DE-588)4037944-9 gnd Mengenlehre (DE-588)4074715-3 gnd Boolesche Algebra (DE-588)4146280-4 gnd
topic_facet	Boole, Algèbre de Ensembles, Théorie des Logique symbolique et mathématique Algebra, Boolean Independence (Mathematics) Set theory Beweis Mathematik Mengenlehre Boolesche Algebra
volume_link	(DE-604)BV010177228
work_keys_str_mv	AT rosserjohnbarkley simplifiedindependenceproofsbooleanvaluedmodelsofsettheory

Verfügbarkeit

Bestellen (Login erforderlich)

Paper/Kapitel scannen lassen

Teilbibliothek Mathematik & Informatik

Bestandsangaben von Teilbibliothek Mathematik & Informatik
Signatur:	0102 MAT 036 2001 A 28980 Lageplan
Exemplar 1	Ausleihbar Am Standort
Exemplar 2	Ausleihbar Am Standort