Holdings: Logicism, Intuitionism, and Formalism

Logicism, Intuitionism, and Formalism: What has Become of Them?

Saved in:

Bibliographic Details
Other Authors:	Lindström, Sten (Editor), Palmgren, Erik (Editor), Segerberg, Krister 1936- (Editor), Stoltenberg-Hansen, Viggo (Editor)
Format:	Electronic eBook
Language:	English
Published:	[Dordrecht] Springer [2009]
Series:	Synthese Library volume 341
Subjects:	Geschichte Linguistik Mathematik Philosophie Ontology Epistemology Mathematics History of Mathematics Mathematics_ / History Mathematical Logic and Foundations Philosophy of Language Logic Genetic epistemology Linguistics / Philosophy Logic, Symbolic and mathematical Konferenzschrift
Online Access:	BTU01 TUM01 UBA01 UBM01 UBT01 UER01 UPA01 Volltext
Physical Description:	1 Online-Ressource (XII, 512 Seiten)
ISBN:	9781402089268
DOI:	10.1007/978-1-4020-8926-8

Staff View

MARC


LEADER	00000nmm a2200000 cb4500
001	BV036492536
003	DE-604
005	20160509
007	cr\|uuu---uuuuu
008	100609s2009 \|\|\|\| o\|\|u\| \|\|\|\|\|\|eng d
020			\|a 9781402089268 \|c Online \|9 978-1-4020-8926-8
024	7		\|a 10.1007/978-1-4020-8926-8 \|2 doi
035			\|a (OCoLC)698778199
035			\|a (DE-599)BVBBV036492536
040			\|a DE-604 \|b ger \|e rda
041	0		\|a eng
049			\|a DE-634 \|a DE-703 \|a DE-29 \|a DE-91 \|a DE-19 \|a DE-384 \|a DE-83 \|a DE-739
082	0		\|a 511.3
084			\|a SK 130 \|0 (DE-625)143216: \|2 rvk
084			\|a MAT 000 \|2 stub
245	1	0	\|a Logicism, Intuitionism, and Formalism \|b What has Become of Them? \|c edited by Sten Lindström (Umeå University, Sweden), Erik Palmgren (Uppsala University, Sweden), Krister Segerberg (Uppsala University, Sweden) and Viggo Stoltenberg-Hansen (Uppsala University, Sweden)
264		1	\|a [Dordrecht] \|b Springer \|c [2009]
264		4	\|c © 2009
300			\|a 1 Online-Ressource (XII, 512 Seiten)
336			\|b txt \|2 rdacontent
337			\|b c \|2 rdamedia
338			\|b cr \|2 rdacarrier
490	1		\|a Synthese Library \|v volume 341
650		4	\|a Geschichte
650		4	\|a Linguistik
650		4	\|a Mathematik
650		4	\|a Philosophie
650		4	\|a Ontology
650		4	\|a Epistemology
650		4	\|a Mathematics
650		4	\|a History of Mathematics
650		4	\|a Mathematics_ / History
650		4	\|a Mathematical Logic and Foundations
650		4	\|a Philosophy of Language
650		4	\|a Logic
650		4	\|a Genetic epistemology
650		4	\|a Linguistics / Philosophy
650		4	\|a Logic, Symbolic and mathematical
655		7	\|8 1\p \|0 (DE-588)1071861417 \|a Konferenzschrift \|2 gnd-content
700	1		\|a Lindström, Sten \|4 edt
700	1		\|a Palmgren, Erik \|4 edt
700	1		\|a Segerberg, Krister \|d 1936- \|0 (DE-588)136854508 \|4 edt
700	1		\|a Stoltenberg-Hansen, Viggo \|4 edt
776	0	8	\|i Erscheint auch als \|n Druckausgabe \|z 978-1-4020-8925-1
830		0	\|a Synthese Library \|v volume 341 \|w (DE-604)BV035482280 \|9 341
856	4	0	\|u https://doi.org/10.1007/978-1-4020-8926-8 \|x Verlag \|z URL des Erstveröffentlichers \|3 Volltext
912			\|a ZDB-2-SMA
999			\|a oai:aleph.bib-bvb.de:BVB01-020415126
883	1		\|8 1\p \|a cgwrk \|d 20201028 \|q DE-101 \|u https://d-nb.info/provenance/plan#cgwrk
966	e		\|u https://doi.org/10.1007/978-1-4020-8926-8 \|l BTU01 \|p ZDB-2-SMA \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-1-4020-8926-8 \|l TUM01 \|p ZDB-2-SMA \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-1-4020-8926-8 \|l UBA01 \|p ZDB-2-SMA \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-1-4020-8926-8 \|l UBM01 \|p ZDB-2-SMA \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-1-4020-8926-8 \|l UBT01 \|p ZDB-2-SMA \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-1-4020-8926-8 \|l UER01 \|p ZDB-2-SMA \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-1-4020-8926-8 \|l UPA01 \|p ZDB-2-SMA \|x Verlag \|3 Volltext

Record in the Search Index

_version_	1804143054769094656
any_adam_object
author2	Lindström, Sten Palmgren, Erik Segerberg, Krister 1936- Stoltenberg-Hansen, Viggo
author2_role	edt edt edt edt
author2_variant	s l sl e p ep k s ks v s h vsh
author_GND	(DE-588)136854508
author_facet	Lindström, Sten Palmgren, Erik Segerberg, Krister 1936- Stoltenberg-Hansen, Viggo
building	Verbundindex
bvnumber	BV036492536
classification_rvk	SK 130
classification_tum	MAT 000
collection	ZDB-2-SMA
ctrlnum	(OCoLC)698778199 (DE-599)BVBBV036492536
dewey-full	511.3
dewey-hundreds	500 - Natural sciences and mathematics
dewey-ones	511 - General principles of mathematics
dewey-raw	511.3
dewey-search	511.3
dewey-sort	3511.3
dewey-tens	510 - Mathematics
discipline	Mathematik
doi_str_mv	10.1007/978-1-4020-8926-8
format	Electronic eBook
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02958nmm a2200697 cb4500</leader><controlfield tag="001">BV036492536</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20160509 </controlfield><controlfield tag="007">cr\|uuu---uuuuu</controlfield><controlfield tag="008">100609s2009 \|\|\|\| o\|\|u\| \|\|\|\|\|\|eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781402089268</subfield><subfield code="c">Online</subfield><subfield code="9">978-1-4020-8926-8</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-1-4020-8926-8</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)698778199</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV036492536</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-634</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-739</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.3</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">MAT 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Logicism, Intuitionism, and Formalism</subfield><subfield code="b">What has Become of Them?</subfield><subfield code="c">edited by Sten Lindström (Umeå University, Sweden), Erik Palmgren (Uppsala University, Sweden), Krister Segerberg (Uppsala University, Sweden) and Viggo Stoltenberg-Hansen (Uppsala University, Sweden)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">[Dordrecht]</subfield><subfield code="b">Springer</subfield><subfield code="c">[2009]</subfield></datafield><datafield tag="264" ind1=" " ind2="4"><subfield code="c">© 2009</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (XII, 512 Seiten)</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="1" ind2=" "><subfield code="a">Synthese Library</subfield><subfield code="v">volume 341</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Geschichte</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Linguistik</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematik</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Philosophie</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Ontology</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Epistemology</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematics</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">History of Mathematics</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematics_ / History</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical Logic and Foundations</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Philosophy of Language</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Genetic epistemology</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Linguistics / Philosophy</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic, Symbolic and mathematical</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="8">1\p</subfield><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Lindström, Sten</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Palmgren, Erik</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Segerberg, Krister</subfield><subfield code="d">1936-</subfield><subfield code="0">(DE-588)136854508</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Stoltenberg-Hansen, Viggo</subfield><subfield code="4">edt</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druckausgabe</subfield><subfield code="z">978-1-4020-8925-1</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Synthese Library</subfield><subfield code="v">volume 341</subfield><subfield code="w">(DE-604)BV035482280</subfield><subfield code="9">341</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-1-4020-8926-8</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-2-SMA</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-020415126</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="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-1-4020-8926-8</subfield><subfield code="l">BTU01</subfield><subfield code="p">ZDB-2-SMA</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-1-4020-8926-8</subfield><subfield code="l">TUM01</subfield><subfield code="p">ZDB-2-SMA</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-1-4020-8926-8</subfield><subfield code="l">UBA01</subfield><subfield code="p">ZDB-2-SMA</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-1-4020-8926-8</subfield><subfield code="l">UBM01</subfield><subfield code="p">ZDB-2-SMA</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-1-4020-8926-8</subfield><subfield code="l">UBT01</subfield><subfield code="p">ZDB-2-SMA</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-1-4020-8926-8</subfield><subfield code="l">UER01</subfield><subfield code="p">ZDB-2-SMA</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-1-4020-8926-8</subfield><subfield code="l">UPA01</subfield><subfield code="p">ZDB-2-SMA</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection>
genre	1\p (DE-588)1071861417 Konferenzschrift gnd-content
genre_facet	Konferenzschrift
id	DE-604.BV036492536
illustrated	Not Illustrated
indexdate	2024-07-09T22:41:34Z
institution	BVB
isbn	9781402089268
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-020415126
oclc_num	698778199
open_access_boolean
owner	DE-634 DE-703 DE-29 DE-91 DE-BY-TUM DE-19 DE-BY-UBM DE-384 DE-83 DE-739
owner_facet	DE-634 DE-703 DE-29 DE-91 DE-BY-TUM DE-19 DE-BY-UBM DE-384 DE-83 DE-739
physical	1 Online-Ressource (XII, 512 Seiten)
psigel	ZDB-2-SMA
publishDate	2009
publishDateSearch	2009
publishDateSort	2009
publisher	Springer
record_format	marc
series	Synthese Library
series2	Synthese Library
spelling	Logicism, Intuitionism, and Formalism What has Become of Them? edited by Sten Lindström (Umeå University, Sweden), Erik Palmgren (Uppsala University, Sweden), Krister Segerberg (Uppsala University, Sweden) and Viggo Stoltenberg-Hansen (Uppsala University, Sweden) [Dordrecht] Springer [2009] © 2009 1 Online-Ressource (XII, 512 Seiten) txt rdacontent c rdamedia cr rdacarrier Synthese Library volume 341 Geschichte Linguistik Mathematik Philosophie Ontology Epistemology Mathematics History of Mathematics Mathematics_ / History Mathematical Logic and Foundations Philosophy of Language Logic Genetic epistemology Linguistics / Philosophy Logic, Symbolic and mathematical 1\p (DE-588)1071861417 Konferenzschrift gnd-content Lindström, Sten edt Palmgren, Erik edt Segerberg, Krister 1936- (DE-588)136854508 edt Stoltenberg-Hansen, Viggo edt Erscheint auch als Druckausgabe 978-1-4020-8925-1 Synthese Library volume 341 (DE-604)BV035482280 341 https://doi.org/10.1007/978-1-4020-8926-8 Verlag URL des Erstveröffentlichers Volltext 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk
spellingShingle	Logicism, Intuitionism, and Formalism What has Become of Them? Synthese Library Geschichte Linguistik Mathematik Philosophie Ontology Epistemology Mathematics History of Mathematics Mathematics_ / History Mathematical Logic and Foundations Philosophy of Language Logic Genetic epistemology Linguistics / Philosophy Logic, Symbolic and mathematical
subject_GND	(DE-588)1071861417
title	Logicism, Intuitionism, and Formalism What has Become of Them?
title_auth	Logicism, Intuitionism, and Formalism What has Become of Them?
title_exact_search	Logicism, Intuitionism, and Formalism What has Become of Them?
title_full	Logicism, Intuitionism, and Formalism What has Become of Them? edited by Sten Lindström (Umeå University, Sweden), Erik Palmgren (Uppsala University, Sweden), Krister Segerberg (Uppsala University, Sweden) and Viggo Stoltenberg-Hansen (Uppsala University, Sweden)
title_fullStr	Logicism, Intuitionism, and Formalism What has Become of Them? edited by Sten Lindström (Umeå University, Sweden), Erik Palmgren (Uppsala University, Sweden), Krister Segerberg (Uppsala University, Sweden) and Viggo Stoltenberg-Hansen (Uppsala University, Sweden)
title_full_unstemmed	Logicism, Intuitionism, and Formalism What has Become of Them? edited by Sten Lindström (Umeå University, Sweden), Erik Palmgren (Uppsala University, Sweden), Krister Segerberg (Uppsala University, Sweden) and Viggo Stoltenberg-Hansen (Uppsala University, Sweden)
title_short	Logicism, Intuitionism, and Formalism
title_sort	logicism intuitionism and formalism what has become of them
title_sub	What has Become of Them?
topic	Geschichte Linguistik Mathematik Philosophie Ontology Epistemology Mathematics History of Mathematics Mathematics_ / History Mathematical Logic and Foundations Philosophy of Language Logic Genetic epistemology Linguistics / Philosophy Logic, Symbolic and mathematical
topic_facet	Geschichte Linguistik Mathematik Philosophie Ontology Epistemology Mathematics History of Mathematics Mathematics_ / History Mathematical Logic and Foundations Philosophy of Language Logic Genetic epistemology Linguistics / Philosophy Logic, Symbolic and mathematical Konferenzschrift
url	https://doi.org/10.1007/978-1-4020-8926-8
volume_link	(DE-604)BV035482280
work_keys_str_mv	AT lindstromsten logicismintuitionismandformalismwhathasbecomeofthem AT palmgrenerik logicismintuitionismandformalismwhathasbecomeofthem AT segerbergkrister logicismintuitionismandformalismwhathasbecomeofthem AT stoltenberghansenviggo logicismintuitionismandformalismwhathasbecomeofthem

Holdings

There is no print copy available.

Interlibrary loan Place Request Caution: Not in THWS collection! Get full text

MARC

Record in the Search Index

There is no print copy available.

Similar Items