Holdings: Undecidable theories

Undecidable theories:

Saved in:

Bibliographic Details
Format:	Electronic eBook
Language:	English
Published:	Amsterdam North-Holland 1953
Series:	Studies in logic and the foundations of mathematics v. 13
Subjects:	Decidability (Mathematical logic) Gödel's theorem
Online Access:	Volltext
Item Description:	Includes bibliographical references and index
Physical Description:	1 Online-Ressource (ix, 98 p.)
ISBN:	9780444533784 0444533788

Staff View

MARC


LEADER	00000nmm a2200000zcb4500
001	BV042317948
003	DE-604
005	20170110
007	cr\|uuu---uuuuu
008	150129s1953 \|\|\|\| o\|\|u\| \|\|\|\|\|\|eng d
020			\|a 9780444533784 \|9 978-0-444-53378-4
020			\|a 0444533788 \|9 0-444-53378-8
035			\|a (OCoLC)428097401
035			\|a (DE-599)BVBBV042317948
040			\|a DE-604 \|b ger \|e aacr
041	0		\|a eng
049			\|a DE-1046 \|a DE-706
082	0		\|a 511.3 \|2 22
245	1	0	\|a Undecidable theories \|c edited by Alfred Tarski, in collaboration with Andrzej Mostowski and Raphael M. Robinson
264		1	\|a Amsterdam \|b North-Holland \|c 1953
300			\|a 1 Online-Ressource (ix, 98 p.)
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. 13
500			\|a Includes bibliographical references and index
650		7	\|a Decidability (Mathematical logic) \|2 fast
650		7	\|a Gödel's theorem \|2 fast
650		4	\|a Gödel's theorem
650		4	\|a Decidability (Mathematical logic)
700	1		\|a Tarski, Alfred \|d 1901-1983 \|e Sonstige \|0 (DE-588)118620851 \|4 oth
700	1		\|a Mostowski, Andrzej \|d 1913-1975 \|e Sonstige \|0 (DE-588)118584510 \|4 oth
700	1		\|a Robinson, Raphael M. \|d 1911- \|e Sonstige \|0 (DE-588)1118871642 \|4 oth
856	4	0	\|u http://www.sciencedirect.com/science/book/9780444533784 \|x Verlag \|3 Volltext
912			\|a ZDB-33-ESD \|a ZDB-33-EBS
940	1		\|q FAW_PDA_ESD
940	1		\|q FLA_PDA_ESD
999			\|a oai:aleph.bib-bvb.de:BVB01-027754939

Record in the Search Index

_version_	1804152914945507328
any_adam_object
author_GND	(DE-588)118620851 (DE-588)118584510 (DE-588)1118871642
building	Verbundindex
bvnumber	BV042317948
collection	ZDB-33-ESD ZDB-33-EBS
ctrlnum	(OCoLC)428097401 (DE-599)BVBBV042317948
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
format	Electronic eBook
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01553nmm a2200421zcb4500</leader><controlfield tag="001">BV042317948</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20170110 </controlfield><controlfield tag="007">cr\|uuu---uuuuu</controlfield><controlfield tag="008">150129s1953 \|\|\|\| o\|\|u\| \|\|\|\|\|\|eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780444533784</subfield><subfield code="9">978-0-444-53378-4</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0444533788</subfield><subfield code="9">0-444-53378-8</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)428097401</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV042317948</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="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">511.3</subfield><subfield code="2">22</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Undecidable theories</subfield><subfield code="c">edited by Alfred Tarski, in collaboration with Andrzej Mostowski and Raphael M. Robinson</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Amsterdam</subfield><subfield code="b">North-Holland</subfield><subfield code="c">1953</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (ix, 98 p.)</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. 13</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references and index</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Decidability (Mathematical logic)</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Gödel's theorem</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Gödel's theorem</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Decidability (Mathematical logic)</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Tarski, Alfred</subfield><subfield code="d">1901-1983</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)118620851</subfield><subfield code="4">oth</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Mostowski, Andrzej</subfield><subfield code="d">1913-1975</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)118584510</subfield><subfield code="4">oth</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Robinson, Raphael M.</subfield><subfield code="d">1911-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)1118871642</subfield><subfield code="4">oth</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">http://www.sciencedirect.com/science/book/9780444533784</subfield><subfield code="x">Verlag</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="940" ind1="1" ind2=" "><subfield code="q">FAW_PDA_ESD</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">FLA_PDA_ESD</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-027754939</subfield></datafield></record></collection>
id	DE-604.BV042317948
illustrated	Not Illustrated
indexdate	2024-07-10T01:18:17Z
institution	BVB
isbn	9780444533784 0444533788
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-027754939
oclc_num	428097401
open_access_boolean
owner	DE-1046 DE-706
owner_facet	DE-1046 DE-706
physical	1 Online-Ressource (ix, 98 p.)
psigel	ZDB-33-ESD ZDB-33-EBS FAW_PDA_ESD FLA_PDA_ESD
publishDate	1953
publishDateSearch	1953
publishDateSort	1953
publisher	North-Holland
record_format	marc
series2	Studies in logic and the foundations of mathematics
spelling	Undecidable theories edited by Alfred Tarski, in collaboration with Andrzej Mostowski and Raphael M. Robinson Amsterdam North-Holland 1953 1 Online-Ressource (ix, 98 p.) txt rdacontent c rdamedia cr rdacarrier Studies in logic and the foundations of mathematics v. 13 Includes bibliographical references and index Decidability (Mathematical logic) fast Gödel's theorem fast Gödel's theorem Decidability (Mathematical logic) Tarski, Alfred 1901-1983 Sonstige (DE-588)118620851 oth Mostowski, Andrzej 1913-1975 Sonstige (DE-588)118584510 oth Robinson, Raphael M. 1911- Sonstige (DE-588)1118871642 oth http://www.sciencedirect.com/science/book/9780444533784 Verlag Volltext
spellingShingle	Undecidable theories Decidability (Mathematical logic) fast Gödel's theorem fast Gödel's theorem Decidability (Mathematical logic)
title	Undecidable theories
title_auth	Undecidable theories
title_exact_search	Undecidable theories
title_full	Undecidable theories edited by Alfred Tarski, in collaboration with Andrzej Mostowski and Raphael M. Robinson
title_fullStr	Undecidable theories edited by Alfred Tarski, in collaboration with Andrzej Mostowski and Raphael M. Robinson
title_full_unstemmed	Undecidable theories edited by Alfred Tarski, in collaboration with Andrzej Mostowski and Raphael M. Robinson
title_short	Undecidable theories
title_sort	undecidable theories
topic	Decidability (Mathematical logic) fast Gödel's theorem fast Gödel's theorem Decidability (Mathematical logic)
topic_facet	Decidability (Mathematical logic) Gödel's theorem
url	http://www.sciencedirect.com/science/book/9780444533784
work_keys_str_mv	AT tarskialfred undecidabletheories AT mostowskiandrzej undecidabletheories AT robinsonraphaelm undecidabletheories

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