Theory of Formal Systems : (AM-47)

Frontmatter -- TABLE OF CONTENTS -- PREFACE -- ANNALS OF MATHEMATICS STUDIES -- CHAPTER I: FORMAL MATHEMATICAL SYSTEMS -- CHAPTER II: FORMAL REPRESENTABILITY AND RECURSIVE ENUMERABILITY -- CHAPTER III: INCOMPLETENESS -AND UNDECIDABILITY -- CHAPTER IV: RECURSIVE FUNCTION THEORY -- CHAPTER V: CREATIVI...
Ausführliche Beschreibung

Gespeichert in:

Autor*in:	Smullyan, Raymond M. [verfasserIn]

Format:	E-Book
Sprache:	Englisch

Erschienen:	Princeton, NJ: Princeton University Press ; 2016 ©1961
Zeitschrift/Reihe:	Annals of mathematics studies - 47

Rechteinformationen:	Restricted Access

Schlagwörter:	Rekursivität Entscheidbarkeit
Schlagwörter:	Recursive functions Logic, Symbolic and mathematical Mathematics Logic, Symbolic and mathematical. Mathematics. Recursive functions. SCIENCE / System Theory

Systematik:	CC 2600 SI 830 SK 130

Umfang:	1 online resource

Weitere Ausgabe:	Erscheint auch als Druck-Ausgabe Smullyan, Raymond M., 1919 - 2017: Theory of formal systems - Princeton, NJ : Princeton Univ. Press, 1961

Reihe:	Annals of Mathematics Studies ; 47

Links:	Link aufrufen Volltext Volltext Link aufrufen Cover Cover Cover
ISBN:	978-1-4008-8200-7

DOI / URN:	10.1515/9781400882007

Katalog-ID:	1659128854

Internformat


LEADER	01000cam a2200265 4500
001	1659128854
003	DE-627
005	20241006180441.0
007	cr uuu---uuuuu
008	161024r20161961xx \|\|\|\|\|o 00\| \|\|eng c
020			\|a 9781400882007 \|9 978-1-4008-8200-7
024	7		\|a 10.1515/9781400882007 \|2 doi
035			\|a (DE-627)1659128854
035			\|a (DE-576)478624964
035			\|a (DE-599)BSZ478624964
035			\|a (OCoLC)945632447
035			\|a (EBP)005963656
035			\|a (DE-B1597)467917
040			\|a DE-627 \|b ger \|c DE-627 \|e rda
041			\|a eng
050		0	\|a QA248.5
072		7	\|a SCI064000 \|2 bisacsh
084			\|a CC 2600 \|q SEPA \|2 rvk \|0 (DE-625)rvk/17610:
084			\|a SI 830 \|q SEPA \|2 rvk \|0 (DE-625)rvk/143195:
084			\|a SK 130 \|q SEPA \|2 rvk \|0 (DE-625)rvk/143216:
100	1		\|a Smullyan, Raymond M. \|e verfasserin \|4 aut
245	1	0	\|a Theory of Formal Systems \|b (AM-47) \|c Raymond M. Smullyan
264		1	\|a Princeton, NJ \|b Princeton University Press \|c 2016
264		4	\|c ©1961
300			\|a 1 online resource
336			\|a Text \|b txt \|2 rdacontent
337			\|a Computermedien \|b c \|2 rdamedia
338			\|a Online-Ressource \|b cr \|2 rdacarrier
490	1		\|a Annals of Mathematics Studies \|v 47
506	1		\|a Restricted Access \|e Controlled Vocabulary for Access Rights \|u http://purl.org/coar/access_right/c_16ec \|f online access with authorization \|2 star
520			\|a Frontmatter -- TABLE OF CONTENTS -- PREFACE -- ANNALS OF MATHEMATICS STUDIES -- CHAPTER I: FORMAL MATHEMATICAL SYSTEMS -- CHAPTER II: FORMAL REPRESENTABILITY AND RECURSIVE ENUMERABILITY -- CHAPTER III: INCOMPLETENESS -AND UNDECIDABILITY -- CHAPTER IV: RECURSIVE FUNCTION THEORY -- CHAPTER V: CREATIVITY AND EFFECTIVE INSEPARABILITY -- SUPPLEMENT: APPLICATIONS TO MATHEMATICAL LOGIC -- REFERENCE AND BRIEF BIBLIOGRAPHY
520			\|a This book serves both as a completely self-contained introduction and as an exposition of new results in the field of recursive function theory and its application to formal systems
534			\|c 1961
546			\|a In English
650		0	\|a Recursive functions
650		0	\|a Logic, Symbolic and mathematical
650		0	\|a Mathematics
650		4	\|a Logic, Symbolic and mathematical.
650		4	\|a Mathematics.
650		4	\|a Recursive functions.
650		4	\|a SCIENCE / System Theory
653			\|a Addition
653			\|a Algebraic geometry
653			\|a Alonzo Church
653			\|a Arithmetic function
653			\|a Arithmetic
653			\|a Atomic sentence
653			\|a Axiom A
653			\|a Axiom schema
653			\|a Axiom
653			\|a Axiomatic system
653			\|a Binary relation
653			\|a Cantor's diagonal argument
653			\|a Cartesian product
653			\|a Characterization (mathematics)
653			\|a Chinese remainder theorem
653			\|a Closed-form expression
653			\|a Closure (mathematics)
653			\|a Combination
653			\|a Combinatory logic
653			\|a Complement (set theory)
653			\|a Concatenation theory
653			\|a Consistency
653			\|a Constructive proof
653			\|a Corollary
653			\|a Countable set
653			\|a Counterexample
653			\|a Decidability (logic)
653			\|a Decision problem
653			\|a Definable set
653			\|a Diagonalization
689	0	0	\|D s \|0 (DE-588)4443996-9 \|0 (DE-627)225305542 \|0 (DE-576)212501194 \|a Rekursivität \|2 gnd
689	0		\|5 (DE-627)
689	1	0	\|D s \|0 (DE-588)4152398-2 \|0 (DE-627)105538523 \|0 (DE-576)209795204 \|a Entscheidbarkeit \|2 gnd
689	1		\|5 (DE-627)
776	1		\|z 9780691080475 \|c : print
776	0	8	\|i Erscheint auch als \|n Druck-Ausgabe \|a Smullyan, Raymond M., 1919 - 2017 \|t Theory of formal systems \|b Rev. ed. \|d Princeton, NJ : Princeton Univ. Press, 1961 \|h 147 S. \|w (DE-627)1619185490 \|w (DE-576)011191015 \|z 069108047X
830		0	\|a Annals of mathematics studies \|v 47 \|9 47 \|w (DE-627)1023148277 \|w (DE-576)479798699 \|w (DE-600)2930519-6 \|7 ns
856	4	0	\|u http://dx.doi.org/10.1515/9781400882007 \|x Verlag \|3 Volltext
856	4	0	\|u https://doi.org/10.1515/9781400882007 \|m X:GRUY \|x Resolving-System \|z lizenzpflichtig \|3 Volltext
856	4	0	\|u https://www.degruyter.com/isbn/9781400882007 \|m X:GRUY \|x Verlag \|z lizenzpflichtig
856	4	2	\|u https://www.degruyter.com/doc/cover/9781400882007.jpg \|m X:GRUY \|3 Cover
856	4	2	\|u https://www.degruyter.com/cover/covers/9781400882007.jpg \|m X:GRUY \|x Verlag \|3 Cover
856	4	2	\|u https://www.degruyter.com/document/cover/isbn/9781400882007/original \|m X:GRUY \|x Verlag \|3 Cover
912			\|a ZDB-23-PST
912			\|a EBA-BACKALL
912			\|a EBA-EBACKALL
912			\|a EBA-EBKALL
912			\|a EBA-EEBKALL
912			\|a EBA-ESSHALL
912			\|a EBA-ESTMALL
912			\|a EBA-PPALL
912			\|a EBA-SSHALL
912			\|a EBA-STMALL
912			\|a GBV-deGruyter-alles
912			\|a ZDB-23-DGG
912			\|a EBA-CL-MTPY
912			\|a EBA-ECL-MTPY
912			\|a ZDB-23-PMB
912			\|a GBV_ILN_21
912			\|a ISIL_DE-46
912			\|a SYSFLAG_1
912			\|a GBV_KXP
912			\|a GBV_ILN_22
912			\|a ISIL_DE-18
912			\|a GBV_ILN_23
912			\|a ISIL_DE-830
912			\|a GBV_ILN_24
912			\|a ISIL_DE-8
912			\|a GBV_ILN_31
912			\|a ISIL_DE-27
912			\|a GBV_ILN_34
912			\|a ISIL_DE-18-302
912			\|a GBV_ILN_65
912			\|a ISIL_DE-3
912			\|a GBV_ILN_69
912			\|a ISIL_DE-9
912			\|a GBV_ILN_72
912			\|a ISIL_DE-35
912			\|a GBV_ILN_90
912			\|a ISIL_DE-Hil2
912			\|a GBV_ILN_95
912			\|a ISIL_DE-542
912			\|a GBV_ILN_110
912			\|a ISIL_DE-Luen4
912			\|a GBV_ILN_120
912			\|a ISIL_DE-715
912			\|a GBV_ILN_122
912			\|a ISIL_DE-897
912			\|a GBV_ILN_130
912			\|a ISIL_DE-700
912			\|a GBV_ILN_140
912			\|a ISIL_DE-839
912			\|a GBV_ILN_147
912			\|a ISIL_DE-Fl3
912			\|a GBV_ILN_264
912			\|a ISIL_DE-897-1
912			\|a GBV_ILN_370
912			\|a ISIL_DE-1373
912			\|a GBV_ILN_736
912			\|a GBV_ILN_2001
912			\|a ISIL_DE-21
912			\|a GBV_ILN_2006
912			\|a ISIL_DE-14
912			\|a GBV_ILN_2010
912			\|a ISIL_DE-15
912			\|a GBV_ILN_2020
912			\|a ISIL_DE-Ch1
912			\|a GBV_ILN_2027
912			\|a ISIL_DE-105
912			\|a GBV_ILN_2044
912			\|a ISIL_DE-751
912			\|a GBV_ILN_2045
912			\|a ISIL_DE-Mit1
912			\|a GBV_ILN_2050
912			\|a ISIL_DE-Zi4
912			\|a GBV_ILN_2063
912			\|a ISIL_DE-951
912			\|a GBV_ILN_2088
912			\|a ISIL_DE-Frei3c
912			\|a GBV_ILN_2118
912			\|a ISIL_DE-Mh35
936	r	v	\|a CC 2600 \|b Abhandlungen zur Logik und mathematischen Grundlagenforschung \|k Philosophie \|k Systematische Philosophie \|k Logik \|k Abhandlungen zur Logik und mathematischen Grundlagenforschung \|0 (DE-627)1270638734 \|0 (DE-625)rvk/17610: \|0 (DE-576)200638734
936	r	v	\|a SI 830 \|b Annals of mathematics studies. Hrsg. v. Princeton University \|k Mathematik \|k Schriftenreihen \|k Schriftenreihen in der alphabetischen Ordnung nach Verfassern \|k Annals of mathematics studies. Hrsg. v. Princeton University \|0 (DE-627)1271545853 \|0 (DE-625)rvk/143195: \|0 (DE-576)201545853
936	r	v	\|a SK 130 \|b Logik und Grundlagen, Metamathematik, \|k Mathematik \|k Monografien \|k Logik und Grundlagen, Metamathematik, \|0 (DE-627)1270918567 \|0 (DE-625)rvk/143216: \|0 (DE-576)200918567
951			\|a BO
953			\|2 045F \|a 511.33
980			\|2 21 \|1 01 \|x 0046 \|b 3485332585 \|h ebook_2023_degruyter_ebs \|k Freie Nutzung im <a href="http://nbn-resolving.de/urn:nbn:de:gbv:46-campusnetz9" Target="_blank">Campusnetz</a> der Universitaet und der Hochschulen im Lande Bremen \|y zza \|z 11-06-19
980			\|2 22 \|1 01 \|x 0018 \|b 4108977157 \|c 00 \|f --%%-- \|d --%%-- \|e s \|j --%%-- \|h SUBedegebs \|y zu \|z 01-04-22
980			\|2 23 \|1 01 \|x 0830 \|b 354524881X \|h olr-degruyter3 \|u i \|y z \|z 21-11-19
980			\|2 24 \|1 01 \|x 0008 \|b 3806293678 \|c 00 \|f --%%-- \|d --%%-- \|e s \|j --%%-- \|h olr-dgebs \|k Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Die Weitergabe an Dritte sowie systematisches Downloaden sind untersagt. \|k Zugriff auf den Volltext nur für Universitätsangehörige innerhalb des Netzes der Universität Kiel (Campuslizenz). \|y z \|z 18-11-20
980			\|2 31 \|1 01 \|x 0027 \|b 3869022353 \|h OLR-DeGruyterEBS \|k Zugang zeitlich begrenzt. Dauerhaften Zugang über Formular für Anschaffungsvorschläge anfragen. \|k Vervielfältigungen (z.B. Kopien, Downloads) sind nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Die Weitergabe an Dritte sowie systematisches Downloaden sind untersagt. \|y z \|z 21-02-21
980			\|2 34 \|1 01 \|x 3551 \|b 4078421164 \|h OLR-EBAKALL-EBS \|k Zugriff nur im Netz der HAW Hamburg \|y z \|z 03-03-22
980			\|2 65 \|1 01 \|x 0003 \|b 4418927832 \|h DeGruyter-EBA \|k Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Die Weitergabe an Dritte sowie systematisches Downloaden sind untersagt. \|y z \|z 27-11-23
980			\|2 69 \|1 01 \|x 0009 \|b 375683350X \|k Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Die Weitergabe an Dritte sowie systematisches Downloaden sind untersagt. \|u BF_dG \|y z \|z 17-09-20
980			\|2 72 \|1 01 \|x 0035 \|b 4117550586 \|h OLR-DG-PDA11SSHE \|k Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots. \|y z \|z 13-04-22
980			\|2 90 \|1 01 \|x 3090 \|b 3533820505 \|h OLR-HILdegruyter \|k Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Die Weitergabe an Dritte sowie systematisches Downloaden sind untersagt. \|y z \|z 01-11-19
980			\|2 95 \|1 01 \|x 3095 \|b 3544340569 \|h OLR-DEGRUYTER \|k Ausdruck und Kopien sind ausschließlich für den eigenen wissenschaftlichen Gebrauch gestattet \|y z1 \|z 21-11-19
980			\|2 110 \|1 01 \|x 3110 \|b 3515470662 \|h OLR-DEGRUYTER-EBS-2018 \|k Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Die Weitergabe an Dritte sowie systematisches Downloaden sind untersagt. \|k Volltextzugriff nur für berechtigte Personen über das Campusnetz \|y z \|z 13-09-19
980			\|2 120 \|1 01 \|x 0715 \|b 3569523454 \|k Campusweiter Zugriff (Universität Oldenburg). - Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots. \|y z \|z 21-12-19
980			\|2 120 \|1 02 \|x 0715 \|b 3582045862 \|c 00 \|f --%%-- \|d --%%-- \|e g \|j --%%-- \|h alma \|y z \|z 24-01-20
980			\|2 122 \|1 01 \|x 0897 \|b 3544733315 \|h OLR-deGruyter-EBS \|k Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots \|y z \|z 21-11-19
980			\|2 130 \|1 01 \|x 0700 \|b 3986579613 \|c 00 \|f --%%-- \|d --%%-- \|e s \|j --%%-- \|h OLR-deGruyter-EBA-EBKALL \|k Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Die Weitergabe an Dritte sowie systematisches Downloaden sind untersagt. \|y z \|z 10-10-21
980			\|2 140 \|1 01 \|x 0839 \|b 3568762811 \|h OLR-deGruyter-EBS \|k Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots \|y z \|z 20-12-19
980			\|2 147 \|1 01 \|x 3528 \|b 3788727403 \|h OLR-EBS-DG \|k Multiuser \| freigeschaltet für Europa-Universität Flensburg, Hochschule Flensburg und Zentrale Hochschulbibliothek \|k Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Die Weitergabe an Dritte sowie systematisches Downloaden sind untersagt. \|y z \|z 28-10-20
980			\|2 264 \|1 01 \|x 3264 \|b 3571248104 \|h OLR-deGruyter-EBS \|k Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots \|y z \|z 02-01-20
980			\|2 370 \|1 01 \|x 4370 \|b 4087170829 \|h EBS deGruyter \|k Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots. \|u i \|y z \|z 10-03-22
980			\|2 736 \|1 01 \|x 4736 \|b 4492868062 \|h DeGryuterEBS2024 \|u verv \|y zeg \|z 28-02-24
980			\|2 2001 \|1 01 \|x DE-21 \|b 3937525173 \|c 00 \|f --%%-- \|d --%%-- \|e --%%-- \|j kp \|y l01 \|z 12-06-21
980			\|2 2006 \|1 01 \|x DE-14 \|b 4433095958 \|c 00 \|f --%%-- \|d --%%-- \|e --%%-- \|j --%%-- \|y l01 \|z 12-12-23
980			\|2 2010 \|1 01 \|x DE-15 \|b 4433042935 \|c 00 \|f --%%-- \|d --%%-- \|e --%%-- \|j n \|k Elektronischer Volltext - Campuslizenz \|y l01 \|z 12-12-23
980			\|2 2020 \|1 01 \|x DE-Ch1 \|b 4439786413 \|c 00 \|f --%%-- \|d --%%-- \|e --%%-- \|j n \|k Campuslizenz \|y l01 \|z 17-12-23
980			\|2 2027 \|1 01 \|x DE-105 \|b 446232806X \|c 00 \|f --%%-- \|d --%%-- \|e --%%-- \|j n \|k Campuslizenz \|y l01 \|z 18-01-24
980			\|2 2044 \|1 01 \|x DE-751 \|b 4587864137 \|c 00 \|f --%%-- \|d eBook de Gruyter \|e --%%-- \|j n \|k Campuslizenz bis 30.09.2025. Bitte beachten Sie die Nutzungshinweise auf unserer Homepage (de Gruyter) \|y l01 \|z 06-10-24
980			\|2 2045 \|1 01 \|x DE-Mit1 \|b 4490796854 \|c 00 \|f --%%-- \|d --%%-- \|e --%%-- \|j n \|k Volltext - Campuslizenz \|y l01 \|z 25-02-24
980			\|2 2050 \|1 01 \|x DE-Zi4 \|b 4439786421 \|c 00 \|f --%%-- \|d --%%-- \|e --%%-- \|j n \|k Zugriff im HSZG-Campusnetz. Zugriff von auβerhalb nur für HSZG-Angehörige. \|y l01 \|z 17-12-23
980			\|2 2063 \|1 01 \|x DE-951 \|b 3823877437 \|c 00 \|f --%%-- \|d eBook de Gruyter \|e n \|j n \|k Elektronischer Volltext - Campuslizenz \|y l01 \|z 11-12-20
980			\|2 2088 \|1 01 \|x DE-Frei3c \|b 3407365004 \|c 00 \|f --%%-- \|d eBook Princeton UP \|e p \|j --%%-- \|y l01 \|z 21-04-17
980			\|2 2118 \|1 01 \|x DE-Mh35 \|b 4443511733 \|c 00 \|f --%%-- \|d eBook de Gruyter \|e --%%-- \|j n \|k Elektronischer Volltext - Campuslizenz \|y l01 \|z 23-12-23
981			\|2 21 \|1 01 \|x 0046 \|r https://doi.org/10.1515/9781400882007
981			\|2 22 \|1 01 \|x 0018 \|y Volltextzugang Campus \|r https://doi.org/10.1515/9781400882007
981			\|2 22 \|1 01 \|x 0018 \|y Volltextzugang von außerhalb des Campus \|r http://emedien.sub.uni-hamburg.de/han/degruyterebooks/doi.org/10.1515/9781400882007
981			\|2 23 \|1 01 \|x 0830 \|y E-books (deGruyter) \|r https://doi.org/10.1515/9781400882007
981			\|2 24 \|1 01 \|x 0008 \|r https://doi.org/10.1515/9781400882007
981			\|2 31 \|1 01 \|x 0027 \|r https://doi.org/10.1515/9781400882007
981			\|2 34 \|1 01 \|x 3551 \|r https://doi.org/10.1515/9781400882007
981			\|2 65 \|1 01 \|x 0003 \|r https://doi.org/10.1515/9781400882007
981			\|2 69 \|1 01 \|x 0009 \|r https://doi.org/10.1515/9781400882007
981			\|2 72 \|1 01 \|x 0035 \|r http://hanproxy.gwlb.de/han/degruyter/doi.org/10.1515/9781400882007
981			\|2 90 \|1 01 \|x 3090 \|r https://doi.org/10.1515/9781400882007
981			\|2 95 \|1 01 \|x 3095 \|r http://dx.doi.org/10.1515/9781400882007
981			\|2 110 \|1 01 \|x 3110 \|r https://doi.org/10.1515/9781400882007
981			\|2 120 \|1 01 \|x 0715 \|r http://dx.doi.org/10.1515/9781400882007
981			\|2 120 \|1 02 \|x 0715 \|r http://49gbv-uob-primo.hosted.exlibrisgroup.com/openurl/49GBV_UOB/UOB_services_page?u.ignore_date_coverage=true&rft.mms_id=991014935609803501
981			\|2 122 \|1 01 \|x 0897 \|r http://dx.doi.org/10.1515/9781400882007
981			\|2 130 \|1 01 \|x 0700 \|r https://doi.org/10.1515/9781400882007
981			\|2 140 \|1 01 \|x 0839 \|r http://dx.doi.org/10.1515/9781400882007
981			\|2 147 \|1 01 \|x 3528 \|r https://doi.org/10.1515/9781400882007
981			\|2 264 \|1 01 \|x 3264 \|r http://dx.doi.org/10.1515/9781400882007
981			\|2 370 \|1 01 \|x 4370 \|y E-Book: Zugriff im HCU-Netz. Zugriff von außerhalb nur für HCU-Angehörige möglich \|r https://doi.org/10.1515/9781400882007
981			\|2 736 \|1 01 \|x 4736 \|r https://doi.org/10.1515/9781400882007
981			\|2 2001 \|1 01 \|x DE-21 \|r https://doi.org/10.1515/9781400882007
981			\|2 2006 \|1 01 \|x DE-14 \|r https://www.degruyter.com/isbn/9781400882007
981			\|2 2010 \|1 01 \|x DE-15 \|y Online-Zugriff \|r https://www.degruyter.com/isbn/9781400882007
981			\|2 2020 \|1 01 \|x DE-Ch1 \|r https://doi.org/10.1515/9781400882007
981			\|2 2044 \|1 01 \|x DE-751 \|r https://doi.org/10.1515/9781400882007
981			\|2 2045 \|1 01 \|x DE-Mit1 \|r https://doi.org/10.1515/9781400882007
981			\|2 2050 \|1 01 \|x DE-Zi4 \|r https://doi.org/10.1515/9781400882007
981			\|2 2063 \|1 01 \|x DE-951 \|r https://doi.org/10.1515/9781400882007
981			\|2 2088 \|1 01 \|x DE-Frei3c \|r https://www.degruyter.com/isbn/9781400882007
981			\|2 2118 \|1 01 \|x DE-Mh35 \|r https://doi.org/10.1515/9781400882007
982			\|2 31 \|1 01 \|x 0027 \|8 00 \|a E-Book DeGruyter
982			\|2 2001 \|1 01 \|x DE-21 \|8 00 \|s s \|a eBook-DeGruyter-EBS-2021-2022
982			\|2 2027 \|1 01 \|x DE-105 \|8 00 \|s s \|a ebook
982			\|2 2088 \|1 01 \|x DE-Frei3c \|8 00 \|s s \|a ebook
983			\|2 120 \|1 00 \|x DE-715 \|8 99 \|a ww
983			\|2 2063 \|1 01 \|x DE-951 \|8 00 \|0 (DE-627)1384640894 \|a e-Book
983			\|2 2063 \|1 01 \|x DE-951 \|8 00 \|0 (DE-627)1478403012 \|a e-Book De Gruyter
985			\|2 23 \|1 01 \|x 0830 \|a 2018-01715, 2018-01716, 2018-01717, 2018-01718, 2018-01719
985			\|2 72 \|1 01 \|x 0035 \|a ebk1
995			\|2 21 \|1 01 \|x 0046 \|a ebook_2023_degruyter_ebs
995			\|2 21 \|1 01 \|x 0046 \|a ebm
995			\|2 22 \|1 01 \|x 0018 \|a SUBedegebs
995			\|2 23 \|1 01 \|x 0830 \|a olr-degruyter3
995			\|2 24 \|1 01 \|x 0008 \|a olr-dgebs
995			\|2 31 \|1 01 \|x 0027 \|a OLR-DeGruyterEBS
995			\|2 34 \|1 01 \|x 3551 \|a OLR-EBAKALL-EBS
995			\|2 65 \|1 01 \|x 0003 \|a DeGruyter-EBA
995			\|2 72 \|1 01 \|x 0035 \|a OLR-DG-PDA11SSHE
995			\|2 90 \|1 01 \|x 3090 \|a OLR-HILdegruyter
995			\|2 95 \|1 01 \|x 3095 \|a OLR-DEGRUYTER
995			\|2 110 \|1 01 \|x 3110 \|a OLR-DEGRUYTER-EBS-2018
995			\|2 120 \|1 02 \|x 0715 \|a alma
995			\|2 122 \|1 01 \|x 0897 \|a OLR-deGruyter-EBS
995			\|2 130 \|1 01 \|x 0700 \|a OLR-deGruyter-EBA-EBKALL
995			\|2 140 \|1 01 \|x 0839 \|a OLR-deGruyter-EBS
995			\|2 147 \|1 01 \|x 3528 \|a OLR-EBS-DG
995			\|2 264 \|1 01 \|x 3264 \|a OLR-deGruyter-EBS
995			\|2 370 \|1 01 \|x 4370 \|a EBS deGruyter
995			\|2 736 \|1 01 \|x 4736 \|a DeGryuterEBS2024

Indexfelder

author_variant	r m s rm rms
matchkey_str	book:9781400882007:20161961
oclc_num	945632447
hierarchy_sort_str	47
callnumber-subject-code	QA
publishDate	2016
allfields	9781400882007 978-1-4008-8200-7 10.1515/9781400882007 doi (DE-627)1659128854 (DE-576)478624964 (DE-599)BSZ478624964 (OCoLC)945632447 (EBP)005963656 (DE-B1597)467917 DE-627 ger DE-627 rda eng QA248.5 SCI064000 bisacsh CC 2600 SEPA rvk (DE-625)rvk/17610: SI 830 SEPA rvk (DE-625)rvk/143195: SK 130 SEPA rvk (DE-625)rvk/143216: Smullyan, Raymond M. verfasserin aut Theory of Formal Systems (AM-47) Raymond M. Smullyan Princeton, NJ Princeton University Press 2016 ©1961 1 online resource Text txt rdacontent Computermedien c rdamedia Online-Ressource cr rdacarrier Annals of Mathematics Studies 47 Restricted Access Controlled Vocabulary for Access Rights http://purl.org/coar/access_right/c_16ec online access with authorization star Frontmatter -- TABLE OF CONTENTS -- PREFACE -- ANNALS OF MATHEMATICS STUDIES -- CHAPTER I: FORMAL MATHEMATICAL SYSTEMS -- CHAPTER II: FORMAL REPRESENTABILITY AND RECURSIVE ENUMERABILITY -- CHAPTER III: INCOMPLETENESS -AND UNDECIDABILITY -- CHAPTER IV: RECURSIVE FUNCTION THEORY -- CHAPTER V: CREATIVITY AND EFFECTIVE INSEPARABILITY -- SUPPLEMENT: APPLICATIONS TO MATHEMATICAL LOGIC -- REFERENCE AND BRIEF BIBLIOGRAPHY This book serves both as a completely self-contained introduction and as an exposition of new results in the field of recursive function theory and its application to formal systems 1961 In English Recursive functions Logic, Symbolic and mathematical Mathematics Logic, Symbolic and mathematical. Mathematics. Recursive functions. SCIENCE / System Theory Addition Algebraic geometry Alonzo Church Arithmetic function Arithmetic Atomic sentence Axiom A Axiom schema Axiom Axiomatic system Binary relation Cantor's diagonal argument Cartesian product Characterization (mathematics) Chinese remainder theorem Closed-form expression Closure (mathematics) Combination Combinatory logic Complement (set theory) Concatenation theory Consistency Constructive proof Corollary Countable set Counterexample Decidability (logic) Decision problem Definable set Diagonalization s (DE-588)4443996-9 (DE-627)225305542 (DE-576)212501194 Rekursivität gnd (DE-627) s (DE-588)4152398-2 (DE-627)105538523 (DE-576)209795204 Entscheidbarkeit gnd (DE-627) 9780691080475 : print Erscheint auch als Druck-Ausgabe Smullyan, Raymond M., 1919 - 2017 Theory of formal systems Rev. ed. Princeton, NJ : Princeton Univ. Press, 1961 147 S. (DE-627)1619185490 (DE-576)011191015 069108047X Annals of mathematics studies 47 47 (DE-627)1023148277 (DE-576)479798699 (DE-600)2930519-6 ns http://dx.doi.org/10.1515/9781400882007 Verlag Volltext https://doi.org/10.1515/9781400882007 X:GRUY Resolving-System lizenzpflichtig Volltext https://www.degruyter.com/isbn/9781400882007 X:GRUY Verlag lizenzpflichtig https://www.degruyter.com/doc/cover/9781400882007.jpg X:GRUY Cover https://www.degruyter.com/cover/covers/9781400882007.jpg X:GRUY Verlag Cover https://www.degruyter.com/document/cover/isbn/9781400882007/original X:GRUY Verlag Cover ZDB-23-PST EBA-BACKALL EBA-EBACKALL EBA-EBKALL EBA-EEBKALL EBA-ESSHALL EBA-ESTMALL EBA-PPALL EBA-SSHALL EBA-STMALL GBV-deGruyter-alles ZDB-23-DGG EBA-CL-MTPY EBA-ECL-MTPY ZDB-23-PMB GBV_ILN_21 ISIL_DE-46 SYSFLAG_1 GBV_KXP GBV_ILN_22 ISIL_DE-18 GBV_ILN_23 ISIL_DE-830 GBV_ILN_24 ISIL_DE-8 GBV_ILN_31 ISIL_DE-27 GBV_ILN_34 ISIL_DE-18-302 GBV_ILN_65 ISIL_DE-3 GBV_ILN_69 ISIL_DE-9 GBV_ILN_72 ISIL_DE-35 GBV_ILN_90 ISIL_DE-Hil2 GBV_ILN_95 ISIL_DE-542 GBV_ILN_110 ISIL_DE-Luen4 GBV_ILN_120 ISIL_DE-715 GBV_ILN_122 ISIL_DE-897 GBV_ILN_130 ISIL_DE-700 GBV_ILN_140 ISIL_DE-839 GBV_ILN_147 ISIL_DE-Fl3 GBV_ILN_264 ISIL_DE-897-1 GBV_ILN_370 ISIL_DE-1373 GBV_ILN_736 GBV_ILN_2001 ISIL_DE-21 GBV_ILN_2006 ISIL_DE-14 GBV_ILN_2010 ISIL_DE-15 GBV_ILN_2020 ISIL_DE-Ch1 GBV_ILN_2027 ISIL_DE-105 GBV_ILN_2044 ISIL_DE-751 GBV_ILN_2045 ISIL_DE-Mit1 GBV_ILN_2050 ISIL_DE-Zi4 GBV_ILN_2063 ISIL_DE-951 GBV_ILN_2088 ISIL_DE-Frei3c GBV_ILN_2118 ISIL_DE-Mh35 CC 2600 Abhandlungen zur Logik und mathematischen Grundlagenforschung Philosophie Systematische Philosophie Logik Abhandlungen zur Logik und mathematischen Grundlagenforschung (DE-627)1270638734 (DE-625)rvk/17610: (DE-576)200638734 SI 830 Annals of mathematics studies. Hrsg. v. Princeton University Mathematik Schriftenreihen Schriftenreihen in der alphabetischen Ordnung nach Verfassern Annals of mathematics studies. Hrsg. v. Princeton University (DE-627)1271545853 (DE-625)rvk/143195: (DE-576)201545853 SK 130 Logik und Grundlagen, Metamathematik, Mathematik Monografien Logik und Grundlagen, Metamathematik, (DE-627)1270918567 (DE-625)rvk/143216: (DE-576)200918567 BO 045F 511.33 21 01 0046 3485332585 ebook_2023_degruyter_ebs Freie Nutzung im <a href="http://nbn-resolving.de/urn:nbn:de:gbv:46-campusnetz9" Target="_blank">Campusnetz</a> der Universitaet und der Hochschulen im Lande Bremen zza 11-06-19 22 01 0018 4108977157 00 --%%-- --%%-- s --%%-- SUBedegebs zu 01-04-22 23 01 0830 354524881X olr-degruyter3 i z 21-11-19 24 01 0008 3806293678 00 --%%-- --%%-- s --%%-- olr-dgebs Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Die Weitergabe an Dritte sowie systematisches Downloaden sind untersagt. Zugriff auf den Volltext nur für Universitätsangehörige innerhalb des Netzes der Universität Kiel (Campuslizenz). z 18-11-20 31 01 0027 3869022353 OLR-DeGruyterEBS Zugang zeitlich begrenzt. Dauerhaften Zugang über Formular für Anschaffungsvorschläge anfragen. Vervielfältigungen (z.B. Kopien, Downloads) sind nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Die Weitergabe an Dritte sowie systematisches Downloaden sind untersagt. z 21-02-21 34 01 3551 4078421164 OLR-EBAKALL-EBS Zugriff nur im Netz der HAW Hamburg z 03-03-22 65 01 0003 4418927832 DeGruyter-EBA Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Die Weitergabe an Dritte sowie systematisches Downloaden sind untersagt. z 27-11-23 69 01 0009 375683350X Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Die Weitergabe an Dritte sowie systematisches Downloaden sind untersagt. BF_dG z 17-09-20 72 01 0035 4117550586 OLR-DG-PDA11SSHE Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots. z 13-04-22 90 01 3090 3533820505 OLR-HILdegruyter Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Die Weitergabe an Dritte sowie systematisches Downloaden sind untersagt. z 01-11-19 95 01 3095 3544340569 OLR-DEGRUYTER Ausdruck und Kopien sind ausschließlich für den eigenen wissenschaftlichen Gebrauch gestattet z1 21-11-19 110 01 3110 3515470662 OLR-DEGRUYTER-EBS-2018 Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Die Weitergabe an Dritte sowie systematisches Downloaden sind untersagt. Volltextzugriff nur für berechtigte Personen über das Campusnetz z 13-09-19 120 01 0715 3569523454 Campusweiter Zugriff (Universität Oldenburg). - Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots. z 21-12-19 120 02 0715 3582045862 00 --%%-- --%%-- g --%%-- alma z 24-01-20 122 01 0897 3544733315 OLR-deGruyter-EBS Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots z 21-11-19 130 01 0700 3986579613 00 --%%-- --%%-- s --%%-- OLR-deGruyter-EBA-EBKALL Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Die Weitergabe an Dritte sowie systematisches Downloaden sind untersagt. z 10-10-21 140 01 0839 3568762811 OLR-deGruyter-EBS Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots z 20-12-19 147 01 3528 3788727403 OLR-EBS-DG Multiuser \| freigeschaltet für Europa-Universität Flensburg, Hochschule Flensburg und Zentrale Hochschulbibliothek Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Die Weitergabe an Dritte sowie systematisches Downloaden sind untersagt. z 28-10-20 264 01 3264 3571248104 OLR-deGruyter-EBS Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots z 02-01-20 370 01 4370 4087170829 EBS deGruyter Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots. i z 10-03-22 736 01 4736 4492868062 DeGryuterEBS2024 verv zeg 28-02-24 2001 01 DE-21 3937525173 00 --%%-- --%%-- --%%-- kp l01 12-06-21 2006 01 DE-14 4433095958 00 --%%-- --%%-- --%%-- --%%-- l01 12-12-23 2010 01 DE-15 4433042935 00 --%%-- --%%-- --%%-- n Elektronischer Volltext - Campuslizenz l01 12-12-23 2020 01 DE-Ch1 4439786413 00 --%%-- --%%-- --%%-- n Campuslizenz l01 17-12-23 2027 01 DE-105 446232806X 00 --%%-- --%%-- --%%-- n Campuslizenz l01 18-01-24 2044 01 DE-751 4587864137 00 --%%-- eBook de Gruyter --%%-- n Campuslizenz bis 30.09.2025. Bitte beachten Sie die Nutzungshinweise auf unserer Homepage (de Gruyter) l01 06-10-24 2045 01 DE-Mit1 4490796854 00 --%%-- --%%-- --%%-- n Volltext - Campuslizenz l01 25-02-24 2050 01 DE-Zi4 4439786421 00 --%%-- --%%-- --%%-- n Zugriff im HSZG-Campusnetz. Zugriff von auβerhalb nur für HSZG-Angehörige. l01 17-12-23 2063 01 DE-951 3823877437 00 --%%-- eBook de Gruyter n n Elektronischer Volltext - Campuslizenz l01 11-12-20 2088 01 DE-Frei3c 3407365004 00 --%%-- eBook Princeton UP p --%%-- l01 21-04-17 2118 01 DE-Mh35 4443511733 00 --%%-- eBook de Gruyter --%%-- n Elektronischer Volltext - Campuslizenz l01 23-12-23 21 01 0046 https://doi.org/10.1515/9781400882007 22 01 0018 Volltextzugang Campus https://doi.org/10.1515/9781400882007 22 01 0018 Volltextzugang von außerhalb des Campus http://emedien.sub.uni-hamburg.de/han/degruyterebooks/doi.org/10.1515/9781400882007 23 01 0830 E-books (deGruyter) https://doi.org/10.1515/9781400882007 24 01 0008 https://doi.org/10.1515/9781400882007 31 01 0027 https://doi.org/10.1515/9781400882007 34 01 3551 https://doi.org/10.1515/9781400882007 65 01 0003 https://doi.org/10.1515/9781400882007 69 01 0009 https://doi.org/10.1515/9781400882007 72 01 0035 http://hanproxy.gwlb.de/han/degruyter/doi.org/10.1515/9781400882007 90 01 3090 https://doi.org/10.1515/9781400882007 95 01 3095 http://dx.doi.org/10.1515/9781400882007 110 01 3110 https://doi.org/10.1515/9781400882007 120 01 0715 http://dx.doi.org/10.1515/9781400882007 120 02 0715 http://49gbv-uob-primo.hosted.exlibrisgroup.com/openurl/49GBV_UOB/UOB_services_page?u.ignore_date_coverage=true&rft.mms_id=991014935609803501 122 01 0897 http://dx.doi.org/10.1515/9781400882007 130 01 0700 https://doi.org/10.1515/9781400882007 140 01 0839 http://dx.doi.org/10.1515/9781400882007 147 01 3528 https://doi.org/10.1515/9781400882007 264 01 3264 http://dx.doi.org/10.1515/9781400882007 370 01 4370 E-Book: Zugriff im HCU-Netz. Zugriff von außerhalb nur für HCU-Angehörige möglich https://doi.org/10.1515/9781400882007 736 01 4736 https://doi.org/10.1515/9781400882007 2001 01 DE-21 https://doi.org/10.1515/9781400882007 2006 01 DE-14 https://www.degruyter.com/isbn/9781400882007 2010 01 DE-15 Online-Zugriff https://www.degruyter.com/isbn/9781400882007 2020 01 DE-Ch1 https://doi.org/10.1515/9781400882007 2044 01 DE-751 https://doi.org/10.1515/9781400882007 2045 01 DE-Mit1 https://doi.org/10.1515/9781400882007 2050 01 DE-Zi4 https://doi.org/10.1515/9781400882007 2063 01 DE-951 https://doi.org/10.1515/9781400882007 2088 01 DE-Frei3c https://www.degruyter.com/isbn/9781400882007 2118 01 DE-Mh35 https://doi.org/10.1515/9781400882007 31 01 0027 00 E-Book DeGruyter 2001 01 DE-21 00 s eBook-DeGruyter-EBS-2021-2022 2027 01 DE-105 00 s ebook 2088 01 DE-Frei3c 00 s ebook 120 00 DE-715 99 ww 2063 01 DE-951 00 (DE-627)1384640894 e-Book 2063 01 DE-951 00 (DE-627)1478403012 e-Book De Gruyter 23 01 0830 2018-01715, 2018-01716, 2018-01717, 2018-01718, 2018-01719 72 01 0035 ebk1 21 01 0046 ebook_2023_degruyter_ebs 21 01 0046 ebm 22 01 0018 SUBedegebs 23 01 0830 olr-degruyter3 24 01 0008 olr-dgebs 31 01 0027 OLR-DeGruyterEBS 34 01 3551 OLR-EBAKALL-EBS 65 01 0003 DeGruyter-EBA 72 01 0035 OLR-DG-PDA11SSHE 90 01 3090 OLR-HILdegruyter 95 01 3095 OLR-DEGRUYTER 110 01 3110 OLR-DEGRUYTER-EBS-2018 120 02 0715 alma 122 01 0897 OLR-deGruyter-EBS 130 01 0700 OLR-deGruyter-EBA-EBKALL 140 01 0839 OLR-deGruyter-EBS 147 01 3528 OLR-EBS-DG 264 01 3264 OLR-deGruyter-EBS 370 01 4370 EBS deGruyter 736 01 4736 DeGryuterEBS2024
spelling	9781400882007 978-1-4008-8200-7 10.1515/9781400882007 doi (DE-627)1659128854 (DE-576)478624964 (DE-599)BSZ478624964 (OCoLC)945632447 (EBP)005963656 (DE-B1597)467917 DE-627 ger DE-627 rda eng QA248.5 SCI064000 bisacsh CC 2600 SEPA rvk (DE-625)rvk/17610: SI 830 SEPA rvk (DE-625)rvk/143195: SK 130 SEPA rvk (DE-625)rvk/143216: Smullyan, Raymond M. verfasserin aut Theory of Formal Systems (AM-47) Raymond M. Smullyan Princeton, NJ Princeton University Press 2016 ©1961 1 online resource Text txt rdacontent Computermedien c rdamedia Online-Ressource cr rdacarrier Annals of Mathematics Studies 47 Restricted Access Controlled Vocabulary for Access Rights http://purl.org/coar/access_right/c_16ec online access with authorization star Frontmatter -- TABLE OF CONTENTS -- PREFACE -- ANNALS OF MATHEMATICS STUDIES -- CHAPTER I: FORMAL MATHEMATICAL SYSTEMS -- CHAPTER II: FORMAL REPRESENTABILITY AND RECURSIVE ENUMERABILITY -- CHAPTER III: INCOMPLETENESS -AND UNDECIDABILITY -- CHAPTER IV: RECURSIVE FUNCTION THEORY -- CHAPTER V: CREATIVITY AND EFFECTIVE INSEPARABILITY -- SUPPLEMENT: APPLICATIONS TO MATHEMATICAL LOGIC -- REFERENCE AND BRIEF BIBLIOGRAPHY This book serves both as a completely self-contained introduction and as an exposition of new results in the field of recursive function theory and its application to formal systems 1961 In English Recursive functions Logic, Symbolic and mathematical Mathematics Logic, Symbolic and mathematical. Mathematics. Recursive functions. SCIENCE / System Theory Addition Algebraic geometry Alonzo Church Arithmetic function Arithmetic Atomic sentence Axiom A Axiom schema Axiom Axiomatic system Binary relation Cantor's diagonal argument Cartesian product Characterization (mathematics) Chinese remainder theorem Closed-form expression Closure (mathematics) Combination Combinatory logic Complement (set theory) Concatenation theory Consistency Constructive proof Corollary Countable set Counterexample Decidability (logic) Decision problem Definable set Diagonalization s (DE-588)4443996-9 (DE-627)225305542 (DE-576)212501194 Rekursivität gnd (DE-627) s (DE-588)4152398-2 (DE-627)105538523 (DE-576)209795204 Entscheidbarkeit gnd (DE-627) 9780691080475 : print Erscheint auch als Druck-Ausgabe Smullyan, Raymond M., 1919 - 2017 Theory of formal systems Rev. ed. Princeton, NJ : Princeton Univ. Press, 1961 147 S. (DE-627)1619185490 (DE-576)011191015 069108047X Annals of mathematics studies 47 47 (DE-627)1023148277 (DE-576)479798699 (DE-600)2930519-6 ns http://dx.doi.org/10.1515/9781400882007 Verlag Volltext https://doi.org/10.1515/9781400882007 X:GRUY Resolving-System lizenzpflichtig Volltext https://www.degruyter.com/isbn/9781400882007 X:GRUY Verlag lizenzpflichtig https://www.degruyter.com/doc/cover/9781400882007.jpg X:GRUY Cover https://www.degruyter.com/cover/covers/9781400882007.jpg X:GRUY Verlag Cover https://www.degruyter.com/document/cover/isbn/9781400882007/original X:GRUY Verlag Cover ZDB-23-PST EBA-BACKALL EBA-EBACKALL EBA-EBKALL EBA-EEBKALL EBA-ESSHALL EBA-ESTMALL EBA-PPALL EBA-SSHALL EBA-STMALL GBV-deGruyter-alles ZDB-23-DGG EBA-CL-MTPY EBA-ECL-MTPY ZDB-23-PMB GBV_ILN_21 ISIL_DE-46 SYSFLAG_1 GBV_KXP GBV_ILN_22 ISIL_DE-18 GBV_ILN_23 ISIL_DE-830 GBV_ILN_24 ISIL_DE-8 GBV_ILN_31 ISIL_DE-27 GBV_ILN_34 ISIL_DE-18-302 GBV_ILN_65 ISIL_DE-3 GBV_ILN_69 ISIL_DE-9 GBV_ILN_72 ISIL_DE-35 GBV_ILN_90 ISIL_DE-Hil2 GBV_ILN_95 ISIL_DE-542 GBV_ILN_110 ISIL_DE-Luen4 GBV_ILN_120 ISIL_DE-715 GBV_ILN_122 ISIL_DE-897 GBV_ILN_130 ISIL_DE-700 GBV_ILN_140 ISIL_DE-839 GBV_ILN_147 ISIL_DE-Fl3 GBV_ILN_264 ISIL_DE-897-1 GBV_ILN_370 ISIL_DE-1373 GBV_ILN_736 GBV_ILN_2001 ISIL_DE-21 GBV_ILN_2006 ISIL_DE-14 GBV_ILN_2010 ISIL_DE-15 GBV_ILN_2020 ISIL_DE-Ch1 GBV_ILN_2027 ISIL_DE-105 GBV_ILN_2044 ISIL_DE-751 GBV_ILN_2045 ISIL_DE-Mit1 GBV_ILN_2050 ISIL_DE-Zi4 GBV_ILN_2063 ISIL_DE-951 GBV_ILN_2088 ISIL_DE-Frei3c GBV_ILN_2118 ISIL_DE-Mh35 CC 2600 Abhandlungen zur Logik und mathematischen Grundlagenforschung Philosophie Systematische Philosophie Logik Abhandlungen zur Logik und mathematischen Grundlagenforschung (DE-627)1270638734 (DE-625)rvk/17610: (DE-576)200638734 SI 830 Annals of mathematics studies. Hrsg. v. Princeton University Mathematik Schriftenreihen Schriftenreihen in der alphabetischen Ordnung nach Verfassern Annals of mathematics studies. Hrsg. v. Princeton University (DE-627)1271545853 (DE-625)rvk/143195: (DE-576)201545853 SK 130 Logik und Grundlagen, Metamathematik, Mathematik Monografien Logik und Grundlagen, Metamathematik, (DE-627)1270918567 (DE-625)rvk/143216: (DE-576)200918567 BO 045F 511.33 21 01 0046 3485332585 ebook_2023_degruyter_ebs Freie Nutzung im <a href="http://nbn-resolving.de/urn:nbn:de:gbv:46-campusnetz9" Target="_blank">Campusnetz</a> der Universitaet und der Hochschulen im Lande Bremen zza 11-06-19 22 01 0018 4108977157 00 --%%-- --%%-- s --%%-- SUBedegebs zu 01-04-22 23 01 0830 354524881X olr-degruyter3 i z 21-11-19 24 01 0008 3806293678 00 --%%-- --%%-- s --%%-- olr-dgebs Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Die Weitergabe an Dritte sowie systematisches Downloaden sind untersagt. Zugriff auf den Volltext nur für Universitätsangehörige innerhalb des Netzes der Universität Kiel (Campuslizenz). z 18-11-20 31 01 0027 3869022353 OLR-DeGruyterEBS Zugang zeitlich begrenzt. Dauerhaften Zugang über Formular für Anschaffungsvorschläge anfragen. Vervielfältigungen (z.B. Kopien, Downloads) sind nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Die Weitergabe an Dritte sowie systematisches Downloaden sind untersagt. z 21-02-21 34 01 3551 4078421164 OLR-EBAKALL-EBS Zugriff nur im Netz der HAW Hamburg z 03-03-22 65 01 0003 4418927832 DeGruyter-EBA Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Die Weitergabe an Dritte sowie systematisches Downloaden sind untersagt. z 27-11-23 69 01 0009 375683350X Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Die Weitergabe an Dritte sowie systematisches Downloaden sind untersagt. BF_dG z 17-09-20 72 01 0035 4117550586 OLR-DG-PDA11SSHE Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots. z 13-04-22 90 01 3090 3533820505 OLR-HILdegruyter Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Die Weitergabe an Dritte sowie systematisches Downloaden sind untersagt. z 01-11-19 95 01 3095 3544340569 OLR-DEGRUYTER Ausdruck und Kopien sind ausschließlich für den eigenen wissenschaftlichen Gebrauch gestattet z1 21-11-19 110 01 3110 3515470662 OLR-DEGRUYTER-EBS-2018 Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Die Weitergabe an Dritte sowie systematisches Downloaden sind untersagt. Volltextzugriff nur für berechtigte Personen über das Campusnetz z 13-09-19 120 01 0715 3569523454 Campusweiter Zugriff (Universität Oldenburg). - Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots. z 21-12-19 120 02 0715 3582045862 00 --%%-- --%%-- g --%%-- alma z 24-01-20 122 01 0897 3544733315 OLR-deGruyter-EBS Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots z 21-11-19 130 01 0700 3986579613 00 --%%-- --%%-- s --%%-- OLR-deGruyter-EBA-EBKALL Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Die Weitergabe an Dritte sowie systematisches Downloaden sind untersagt. z 10-10-21 140 01 0839 3568762811 OLR-deGruyter-EBS Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots z 20-12-19 147 01 3528 3788727403 OLR-EBS-DG Multiuser \| freigeschaltet für Europa-Universität Flensburg, Hochschule Flensburg und Zentrale Hochschulbibliothek Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Die Weitergabe an Dritte sowie systematisches Downloaden sind untersagt. z 28-10-20 264 01 3264 3571248104 OLR-deGruyter-EBS Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots z 02-01-20 370 01 4370 4087170829 EBS deGruyter Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots. i z 10-03-22 736 01 4736 4492868062 DeGryuterEBS2024 verv zeg 28-02-24 2001 01 DE-21 3937525173 00 --%%-- --%%-- --%%-- kp l01 12-06-21 2006 01 DE-14 4433095958 00 --%%-- --%%-- --%%-- --%%-- l01 12-12-23 2010 01 DE-15 4433042935 00 --%%-- --%%-- --%%-- n Elektronischer Volltext - Campuslizenz l01 12-12-23 2020 01 DE-Ch1 4439786413 00 --%%-- --%%-- --%%-- n Campuslizenz l01 17-12-23 2027 01 DE-105 446232806X 00 --%%-- --%%-- --%%-- n Campuslizenz l01 18-01-24 2044 01 DE-751 4587864137 00 --%%-- eBook de Gruyter --%%-- n Campuslizenz bis 30.09.2025. Bitte beachten Sie die Nutzungshinweise auf unserer Homepage (de Gruyter) l01 06-10-24 2045 01 DE-Mit1 4490796854 00 --%%-- --%%-- --%%-- n Volltext - Campuslizenz l01 25-02-24 2050 01 DE-Zi4 4439786421 00 --%%-- --%%-- --%%-- n Zugriff im HSZG-Campusnetz. Zugriff von auβerhalb nur für HSZG-Angehörige. l01 17-12-23 2063 01 DE-951 3823877437 00 --%%-- eBook de Gruyter n n Elektronischer Volltext - Campuslizenz l01 11-12-20 2088 01 DE-Frei3c 3407365004 00 --%%-- eBook Princeton UP p --%%-- l01 21-04-17 2118 01 DE-Mh35 4443511733 00 --%%-- eBook de Gruyter --%%-- n Elektronischer Volltext - Campuslizenz l01 23-12-23 21 01 0046 https://doi.org/10.1515/9781400882007 22 01 0018 Volltextzugang Campus https://doi.org/10.1515/9781400882007 22 01 0018 Volltextzugang von außerhalb des Campus http://emedien.sub.uni-hamburg.de/han/degruyterebooks/doi.org/10.1515/9781400882007 23 01 0830 E-books (deGruyter) https://doi.org/10.1515/9781400882007 24 01 0008 https://doi.org/10.1515/9781400882007 31 01 0027 https://doi.org/10.1515/9781400882007 34 01 3551 https://doi.org/10.1515/9781400882007 65 01 0003 https://doi.org/10.1515/9781400882007 69 01 0009 https://doi.org/10.1515/9781400882007 72 01 0035 http://hanproxy.gwlb.de/han/degruyter/doi.org/10.1515/9781400882007 90 01 3090 https://doi.org/10.1515/9781400882007 95 01 3095 http://dx.doi.org/10.1515/9781400882007 110 01 3110 https://doi.org/10.1515/9781400882007 120 01 0715 http://dx.doi.org/10.1515/9781400882007 120 02 0715 http://49gbv-uob-primo.hosted.exlibrisgroup.com/openurl/49GBV_UOB/UOB_services_page?u.ignore_date_coverage=true&rft.mms_id=991014935609803501 122 01 0897 http://dx.doi.org/10.1515/9781400882007 130 01 0700 https://doi.org/10.1515/9781400882007 140 01 0839 http://dx.doi.org/10.1515/9781400882007 147 01 3528 https://doi.org/10.1515/9781400882007 264 01 3264 http://dx.doi.org/10.1515/9781400882007 370 01 4370 E-Book: Zugriff im HCU-Netz. Zugriff von außerhalb nur für HCU-Angehörige möglich https://doi.org/10.1515/9781400882007 736 01 4736 https://doi.org/10.1515/9781400882007 2001 01 DE-21 https://doi.org/10.1515/9781400882007 2006 01 DE-14 https://www.degruyter.com/isbn/9781400882007 2010 01 DE-15 Online-Zugriff https://www.degruyter.com/isbn/9781400882007 2020 01 DE-Ch1 https://doi.org/10.1515/9781400882007 2044 01 DE-751 https://doi.org/10.1515/9781400882007 2045 01 DE-Mit1 https://doi.org/10.1515/9781400882007 2050 01 DE-Zi4 https://doi.org/10.1515/9781400882007 2063 01 DE-951 https://doi.org/10.1515/9781400882007 2088 01 DE-Frei3c https://www.degruyter.com/isbn/9781400882007 2118 01 DE-Mh35 https://doi.org/10.1515/9781400882007 31 01 0027 00 E-Book DeGruyter 2001 01 DE-21 00 s eBook-DeGruyter-EBS-2021-2022 2027 01 DE-105 00 s ebook 2088 01 DE-Frei3c 00 s ebook 120 00 DE-715 99 ww 2063 01 DE-951 00 (DE-627)1384640894 e-Book 2063 01 DE-951 00 (DE-627)1478403012 e-Book De Gruyter 23 01 0830 2018-01715, 2018-01716, 2018-01717, 2018-01718, 2018-01719 72 01 0035 ebk1 21 01 0046 ebook_2023_degruyter_ebs 21 01 0046 ebm 22 01 0018 SUBedegebs 23 01 0830 olr-degruyter3 24 01 0008 olr-dgebs 31 01 0027 OLR-DeGruyterEBS 34 01 3551 OLR-EBAKALL-EBS 65 01 0003 DeGruyter-EBA 72 01 0035 OLR-DG-PDA11SSHE 90 01 3090 OLR-HILdegruyter 95 01 3095 OLR-DEGRUYTER 110 01 3110 OLR-DEGRUYTER-EBS-2018 120 02 0715 alma 122 01 0897 OLR-deGruyter-EBS 130 01 0700 OLR-deGruyter-EBA-EBKALL 140 01 0839 OLR-deGruyter-EBS 147 01 3528 OLR-EBS-DG 264 01 3264 OLR-deGruyter-EBS 370 01 4370 EBS deGruyter 736 01 4736 DeGryuterEBS2024
allfields_unstemmed	9781400882007 978-1-4008-8200-7 10.1515/9781400882007 doi (DE-627)1659128854 (DE-576)478624964 (DE-599)BSZ478624964 (OCoLC)945632447 (EBP)005963656 (DE-B1597)467917 DE-627 ger DE-627 rda eng QA248.5 SCI064000 bisacsh CC 2600 SEPA rvk (DE-625)rvk/17610: SI 830 SEPA rvk (DE-625)rvk/143195: SK 130 SEPA rvk (DE-625)rvk/143216: Smullyan, Raymond M. verfasserin aut Theory of Formal Systems (AM-47) Raymond M. Smullyan Princeton, NJ Princeton University Press 2016 ©1961 1 online resource Text txt rdacontent Computermedien c rdamedia Online-Ressource cr rdacarrier Annals of Mathematics Studies 47 Restricted Access Controlled Vocabulary for Access Rights http://purl.org/coar/access_right/c_16ec online access with authorization star Frontmatter -- TABLE OF CONTENTS -- PREFACE -- ANNALS OF MATHEMATICS STUDIES -- CHAPTER I: FORMAL MATHEMATICAL SYSTEMS -- CHAPTER II: FORMAL REPRESENTABILITY AND RECURSIVE ENUMERABILITY -- CHAPTER III: INCOMPLETENESS -AND UNDECIDABILITY -- CHAPTER IV: RECURSIVE FUNCTION THEORY -- CHAPTER V: CREATIVITY AND EFFECTIVE INSEPARABILITY -- SUPPLEMENT: APPLICATIONS TO MATHEMATICAL LOGIC -- REFERENCE AND BRIEF BIBLIOGRAPHY This book serves both as a completely self-contained introduction and as an exposition of new results in the field of recursive function theory and its application to formal systems 1961 In English Recursive functions Logic, Symbolic and mathematical Mathematics Logic, Symbolic and mathematical. Mathematics. Recursive functions. SCIENCE / System Theory Addition Algebraic geometry Alonzo Church Arithmetic function Arithmetic Atomic sentence Axiom A Axiom schema Axiom Axiomatic system Binary relation Cantor's diagonal argument Cartesian product Characterization (mathematics) Chinese remainder theorem Closed-form expression Closure (mathematics) Combination Combinatory logic Complement (set theory) Concatenation theory Consistency Constructive proof Corollary Countable set Counterexample Decidability (logic) Decision problem Definable set Diagonalization s (DE-588)4443996-9 (DE-627)225305542 (DE-576)212501194 Rekursivität gnd (DE-627) s (DE-588)4152398-2 (DE-627)105538523 (DE-576)209795204 Entscheidbarkeit gnd (DE-627) 9780691080475 : print Erscheint auch als Druck-Ausgabe Smullyan, Raymond M., 1919 - 2017 Theory of formal systems Rev. ed. Princeton, NJ : Princeton Univ. Press, 1961 147 S. (DE-627)1619185490 (DE-576)011191015 069108047X Annals of mathematics studies 47 47 (DE-627)1023148277 (DE-576)479798699 (DE-600)2930519-6 ns http://dx.doi.org/10.1515/9781400882007 Verlag Volltext https://doi.org/10.1515/9781400882007 X:GRUY Resolving-System lizenzpflichtig Volltext https://www.degruyter.com/isbn/9781400882007 X:GRUY Verlag lizenzpflichtig https://www.degruyter.com/doc/cover/9781400882007.jpg X:GRUY Cover https://www.degruyter.com/cover/covers/9781400882007.jpg X:GRUY Verlag Cover https://www.degruyter.com/document/cover/isbn/9781400882007/original X:GRUY Verlag Cover ZDB-23-PST EBA-BACKALL EBA-EBACKALL EBA-EBKALL EBA-EEBKALL EBA-ESSHALL EBA-ESTMALL EBA-PPALL EBA-SSHALL EBA-STMALL GBV-deGruyter-alles ZDB-23-DGG EBA-CL-MTPY EBA-ECL-MTPY ZDB-23-PMB GBV_ILN_21 ISIL_DE-46 SYSFLAG_1 GBV_KXP GBV_ILN_22 ISIL_DE-18 GBV_ILN_23 ISIL_DE-830 GBV_ILN_24 ISIL_DE-8 GBV_ILN_31 ISIL_DE-27 GBV_ILN_34 ISIL_DE-18-302 GBV_ILN_65 ISIL_DE-3 GBV_ILN_69 ISIL_DE-9 GBV_ILN_72 ISIL_DE-35 GBV_ILN_90 ISIL_DE-Hil2 GBV_ILN_95 ISIL_DE-542 GBV_ILN_110 ISIL_DE-Luen4 GBV_ILN_120 ISIL_DE-715 GBV_ILN_122 ISIL_DE-897 GBV_ILN_130 ISIL_DE-700 GBV_ILN_140 ISIL_DE-839 GBV_ILN_147 ISIL_DE-Fl3 GBV_ILN_264 ISIL_DE-897-1 GBV_ILN_370 ISIL_DE-1373 GBV_ILN_736 GBV_ILN_2001 ISIL_DE-21 GBV_ILN_2006 ISIL_DE-14 GBV_ILN_2010 ISIL_DE-15 GBV_ILN_2020 ISIL_DE-Ch1 GBV_ILN_2027 ISIL_DE-105 GBV_ILN_2044 ISIL_DE-751 GBV_ILN_2045 ISIL_DE-Mit1 GBV_ILN_2050 ISIL_DE-Zi4 GBV_ILN_2063 ISIL_DE-951 GBV_ILN_2088 ISIL_DE-Frei3c GBV_ILN_2118 ISIL_DE-Mh35 CC 2600 Abhandlungen zur Logik und mathematischen Grundlagenforschung Philosophie Systematische Philosophie Logik Abhandlungen zur Logik und mathematischen Grundlagenforschung (DE-627)1270638734 (DE-625)rvk/17610: (DE-576)200638734 SI 830 Annals of mathematics studies. Hrsg. v. Princeton University Mathematik Schriftenreihen Schriftenreihen in der alphabetischen Ordnung nach Verfassern Annals of mathematics studies. Hrsg. v. Princeton University (DE-627)1271545853 (DE-625)rvk/143195: (DE-576)201545853 SK 130 Logik und Grundlagen, Metamathematik, Mathematik Monografien Logik und Grundlagen, Metamathematik, (DE-627)1270918567 (DE-625)rvk/143216: (DE-576)200918567 BO 045F 511.33 21 01 0046 3485332585 ebook_2023_degruyter_ebs Freie Nutzung im <a href="http://nbn-resolving.de/urn:nbn:de:gbv:46-campusnetz9" Target="_blank">Campusnetz</a> der Universitaet und der Hochschulen im Lande Bremen zza 11-06-19 22 01 0018 4108977157 00 --%%-- --%%-- s --%%-- SUBedegebs zu 01-04-22 23 01 0830 354524881X olr-degruyter3 i z 21-11-19 24 01 0008 3806293678 00 --%%-- --%%-- s --%%-- olr-dgebs Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Die Weitergabe an Dritte sowie systematisches Downloaden sind untersagt. Zugriff auf den Volltext nur für Universitätsangehörige innerhalb des Netzes der Universität Kiel (Campuslizenz). z 18-11-20 31 01 0027 3869022353 OLR-DeGruyterEBS Zugang zeitlich begrenzt. Dauerhaften Zugang über Formular für Anschaffungsvorschläge anfragen. Vervielfältigungen (z.B. Kopien, Downloads) sind nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Die Weitergabe an Dritte sowie systematisches Downloaden sind untersagt. z 21-02-21 34 01 3551 4078421164 OLR-EBAKALL-EBS Zugriff nur im Netz der HAW Hamburg z 03-03-22 65 01 0003 4418927832 DeGruyter-EBA Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Die Weitergabe an Dritte sowie systematisches Downloaden sind untersagt. z 27-11-23 69 01 0009 375683350X Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Die Weitergabe an Dritte sowie systematisches Downloaden sind untersagt. BF_dG z 17-09-20 72 01 0035 4117550586 OLR-DG-PDA11SSHE Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots. z 13-04-22 90 01 3090 3533820505 OLR-HILdegruyter Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Die Weitergabe an Dritte sowie systematisches Downloaden sind untersagt. z 01-11-19 95 01 3095 3544340569 OLR-DEGRUYTER Ausdruck und Kopien sind ausschließlich für den eigenen wissenschaftlichen Gebrauch gestattet z1 21-11-19 110 01 3110 3515470662 OLR-DEGRUYTER-EBS-2018 Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Die Weitergabe an Dritte sowie systematisches Downloaden sind untersagt. Volltextzugriff nur für berechtigte Personen über das Campusnetz z 13-09-19 120 01 0715 3569523454 Campusweiter Zugriff (Universität Oldenburg). - Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots. z 21-12-19 120 02 0715 3582045862 00 --%%-- --%%-- g --%%-- alma z 24-01-20 122 01 0897 3544733315 OLR-deGruyter-EBS Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots z 21-11-19 130 01 0700 3986579613 00 --%%-- --%%-- s --%%-- OLR-deGruyter-EBA-EBKALL Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Die Weitergabe an Dritte sowie systematisches Downloaden sind untersagt. z 10-10-21 140 01 0839 3568762811 OLR-deGruyter-EBS Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots z 20-12-19 147 01 3528 3788727403 OLR-EBS-DG Multiuser \| freigeschaltet für Europa-Universität Flensburg, Hochschule Flensburg und Zentrale Hochschulbibliothek Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Die Weitergabe an Dritte sowie systematisches Downloaden sind untersagt. z 28-10-20 264 01 3264 3571248104 OLR-deGruyter-EBS Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots z 02-01-20 370 01 4370 4087170829 EBS deGruyter Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots. i z 10-03-22 736 01 4736 4492868062 DeGryuterEBS2024 verv zeg 28-02-24 2001 01 DE-21 3937525173 00 --%%-- --%%-- --%%-- kp l01 12-06-21 2006 01 DE-14 4433095958 00 --%%-- --%%-- --%%-- --%%-- l01 12-12-23 2010 01 DE-15 4433042935 00 --%%-- --%%-- --%%-- n Elektronischer Volltext - Campuslizenz l01 12-12-23 2020 01 DE-Ch1 4439786413 00 --%%-- --%%-- --%%-- n Campuslizenz l01 17-12-23 2027 01 DE-105 446232806X 00 --%%-- --%%-- --%%-- n Campuslizenz l01 18-01-24 2044 01 DE-751 4587864137 00 --%%-- eBook de Gruyter --%%-- n Campuslizenz bis 30.09.2025. Bitte beachten Sie die Nutzungshinweise auf unserer Homepage (de Gruyter) l01 06-10-24 2045 01 DE-Mit1 4490796854 00 --%%-- --%%-- --%%-- n Volltext - Campuslizenz l01 25-02-24 2050 01 DE-Zi4 4439786421 00 --%%-- --%%-- --%%-- n Zugriff im HSZG-Campusnetz. Zugriff von auβerhalb nur für HSZG-Angehörige. l01 17-12-23 2063 01 DE-951 3823877437 00 --%%-- eBook de Gruyter n n Elektronischer Volltext - Campuslizenz l01 11-12-20 2088 01 DE-Frei3c 3407365004 00 --%%-- eBook Princeton UP p --%%-- l01 21-04-17 2118 01 DE-Mh35 4443511733 00 --%%-- eBook de Gruyter --%%-- n Elektronischer Volltext - Campuslizenz l01 23-12-23 21 01 0046 https://doi.org/10.1515/9781400882007 22 01 0018 Volltextzugang Campus https://doi.org/10.1515/9781400882007 22 01 0018 Volltextzugang von außerhalb des Campus http://emedien.sub.uni-hamburg.de/han/degruyterebooks/doi.org/10.1515/9781400882007 23 01 0830 E-books (deGruyter) https://doi.org/10.1515/9781400882007 24 01 0008 https://doi.org/10.1515/9781400882007 31 01 0027 https://doi.org/10.1515/9781400882007 34 01 3551 https://doi.org/10.1515/9781400882007 65 01 0003 https://doi.org/10.1515/9781400882007 69 01 0009 https://doi.org/10.1515/9781400882007 72 01 0035 http://hanproxy.gwlb.de/han/degruyter/doi.org/10.1515/9781400882007 90 01 3090 https://doi.org/10.1515/9781400882007 95 01 3095 http://dx.doi.org/10.1515/9781400882007 110 01 3110 https://doi.org/10.1515/9781400882007 120 01 0715 http://dx.doi.org/10.1515/9781400882007 120 02 0715 http://49gbv-uob-primo.hosted.exlibrisgroup.com/openurl/49GBV_UOB/UOB_services_page?u.ignore_date_coverage=true&rft.mms_id=991014935609803501 122 01 0897 http://dx.doi.org/10.1515/9781400882007 130 01 0700 https://doi.org/10.1515/9781400882007 140 01 0839 http://dx.doi.org/10.1515/9781400882007 147 01 3528 https://doi.org/10.1515/9781400882007 264 01 3264 http://dx.doi.org/10.1515/9781400882007 370 01 4370 E-Book: Zugriff im HCU-Netz. Zugriff von außerhalb nur für HCU-Angehörige möglich https://doi.org/10.1515/9781400882007 736 01 4736 https://doi.org/10.1515/9781400882007 2001 01 DE-21 https://doi.org/10.1515/9781400882007 2006 01 DE-14 https://www.degruyter.com/isbn/9781400882007 2010 01 DE-15 Online-Zugriff https://www.degruyter.com/isbn/9781400882007 2020 01 DE-Ch1 https://doi.org/10.1515/9781400882007 2044 01 DE-751 https://doi.org/10.1515/9781400882007 2045 01 DE-Mit1 https://doi.org/10.1515/9781400882007 2050 01 DE-Zi4 https://doi.org/10.1515/9781400882007 2063 01 DE-951 https://doi.org/10.1515/9781400882007 2088 01 DE-Frei3c https://www.degruyter.com/isbn/9781400882007 2118 01 DE-Mh35 https://doi.org/10.1515/9781400882007 31 01 0027 00 E-Book DeGruyter 2001 01 DE-21 00 s eBook-DeGruyter-EBS-2021-2022 2027 01 DE-105 00 s ebook 2088 01 DE-Frei3c 00 s ebook 120 00 DE-715 99 ww 2063 01 DE-951 00 (DE-627)1384640894 e-Book 2063 01 DE-951 00 (DE-627)1478403012 e-Book De Gruyter 23 01 0830 2018-01715, 2018-01716, 2018-01717, 2018-01718, 2018-01719 72 01 0035 ebk1 21 01 0046 ebook_2023_degruyter_ebs 21 01 0046 ebm 22 01 0018 SUBedegebs 23 01 0830 olr-degruyter3 24 01 0008 olr-dgebs 31 01 0027 OLR-DeGruyterEBS 34 01 3551 OLR-EBAKALL-EBS 65 01 0003 DeGruyter-EBA 72 01 0035 OLR-DG-PDA11SSHE 90 01 3090 OLR-HILdegruyter 95 01 3095 OLR-DEGRUYTER 110 01 3110 OLR-DEGRUYTER-EBS-2018 120 02 0715 alma 122 01 0897 OLR-deGruyter-EBS 130 01 0700 OLR-deGruyter-EBA-EBKALL 140 01 0839 OLR-deGruyter-EBS 147 01 3528 OLR-EBS-DG 264 01 3264 OLR-deGruyter-EBS 370 01 4370 EBS deGruyter 736 01 4736 DeGryuterEBS2024
allfieldsGer	9781400882007 978-1-4008-8200-7 10.1515/9781400882007 doi (DE-627)1659128854 (DE-576)478624964 (DE-599)BSZ478624964 (OCoLC)945632447 (EBP)005963656 (DE-B1597)467917 DE-627 ger DE-627 rda eng QA248.5 SCI064000 bisacsh CC 2600 SEPA rvk (DE-625)rvk/17610: SI 830 SEPA rvk (DE-625)rvk/143195: SK 130 SEPA rvk (DE-625)rvk/143216: Smullyan, Raymond M. verfasserin aut Theory of Formal Systems (AM-47) Raymond M. Smullyan Princeton, NJ Princeton University Press 2016 ©1961 1 online resource Text txt rdacontent Computermedien c rdamedia Online-Ressource cr rdacarrier Annals of Mathematics Studies 47 Restricted Access Controlled Vocabulary for Access Rights http://purl.org/coar/access_right/c_16ec online access with authorization star Frontmatter -- TABLE OF CONTENTS -- PREFACE -- ANNALS OF MATHEMATICS STUDIES -- CHAPTER I: FORMAL MATHEMATICAL SYSTEMS -- CHAPTER II: FORMAL REPRESENTABILITY AND RECURSIVE ENUMERABILITY -- CHAPTER III: INCOMPLETENESS -AND UNDECIDABILITY -- CHAPTER IV: RECURSIVE FUNCTION THEORY -- CHAPTER V: CREATIVITY AND EFFECTIVE INSEPARABILITY -- SUPPLEMENT: APPLICATIONS TO MATHEMATICAL LOGIC -- REFERENCE AND BRIEF BIBLIOGRAPHY This book serves both as a completely self-contained introduction and as an exposition of new results in the field of recursive function theory and its application to formal systems 1961 In English Recursive functions Logic, Symbolic and mathematical Mathematics Logic, Symbolic and mathematical. Mathematics. Recursive functions. SCIENCE / System Theory Addition Algebraic geometry Alonzo Church Arithmetic function Arithmetic Atomic sentence Axiom A Axiom schema Axiom Axiomatic system Binary relation Cantor's diagonal argument Cartesian product Characterization (mathematics) Chinese remainder theorem Closed-form expression Closure (mathematics) Combination Combinatory logic Complement (set theory) Concatenation theory Consistency Constructive proof Corollary Countable set Counterexample Decidability (logic) Decision problem Definable set Diagonalization s (DE-588)4443996-9 (DE-627)225305542 (DE-576)212501194 Rekursivität gnd (DE-627) s (DE-588)4152398-2 (DE-627)105538523 (DE-576)209795204 Entscheidbarkeit gnd (DE-627) 9780691080475 : print Erscheint auch als Druck-Ausgabe Smullyan, Raymond M., 1919 - 2017 Theory of formal systems Rev. ed. Princeton, NJ : Princeton Univ. Press, 1961 147 S. (DE-627)1619185490 (DE-576)011191015 069108047X Annals of mathematics studies 47 47 (DE-627)1023148277 (DE-576)479798699 (DE-600)2930519-6 ns http://dx.doi.org/10.1515/9781400882007 Verlag Volltext https://doi.org/10.1515/9781400882007 X:GRUY Resolving-System lizenzpflichtig Volltext https://www.degruyter.com/isbn/9781400882007 X:GRUY Verlag lizenzpflichtig https://www.degruyter.com/doc/cover/9781400882007.jpg X:GRUY Cover https://www.degruyter.com/cover/covers/9781400882007.jpg X:GRUY Verlag Cover https://www.degruyter.com/document/cover/isbn/9781400882007/original X:GRUY Verlag Cover ZDB-23-PST EBA-BACKALL EBA-EBACKALL EBA-EBKALL EBA-EEBKALL EBA-ESSHALL EBA-ESTMALL EBA-PPALL EBA-SSHALL EBA-STMALL GBV-deGruyter-alles ZDB-23-DGG EBA-CL-MTPY EBA-ECL-MTPY ZDB-23-PMB GBV_ILN_21 ISIL_DE-46 SYSFLAG_1 GBV_KXP GBV_ILN_22 ISIL_DE-18 GBV_ILN_23 ISIL_DE-830 GBV_ILN_24 ISIL_DE-8 GBV_ILN_31 ISIL_DE-27 GBV_ILN_34 ISIL_DE-18-302 GBV_ILN_65 ISIL_DE-3 GBV_ILN_69 ISIL_DE-9 GBV_ILN_72 ISIL_DE-35 GBV_ILN_90 ISIL_DE-Hil2 GBV_ILN_95 ISIL_DE-542 GBV_ILN_110 ISIL_DE-Luen4 GBV_ILN_120 ISIL_DE-715 GBV_ILN_122 ISIL_DE-897 GBV_ILN_130 ISIL_DE-700 GBV_ILN_140 ISIL_DE-839 GBV_ILN_147 ISIL_DE-Fl3 GBV_ILN_264 ISIL_DE-897-1 GBV_ILN_370 ISIL_DE-1373 GBV_ILN_736 GBV_ILN_2001 ISIL_DE-21 GBV_ILN_2006 ISIL_DE-14 GBV_ILN_2010 ISIL_DE-15 GBV_ILN_2020 ISIL_DE-Ch1 GBV_ILN_2027 ISIL_DE-105 GBV_ILN_2044 ISIL_DE-751 GBV_ILN_2045 ISIL_DE-Mit1 GBV_ILN_2050 ISIL_DE-Zi4 GBV_ILN_2063 ISIL_DE-951 GBV_ILN_2088 ISIL_DE-Frei3c GBV_ILN_2118 ISIL_DE-Mh35 CC 2600 Abhandlungen zur Logik und mathematischen Grundlagenforschung Philosophie Systematische Philosophie Logik Abhandlungen zur Logik und mathematischen Grundlagenforschung (DE-627)1270638734 (DE-625)rvk/17610: (DE-576)200638734 SI 830 Annals of mathematics studies. Hrsg. v. Princeton University Mathematik Schriftenreihen Schriftenreihen in der alphabetischen Ordnung nach Verfassern Annals of mathematics studies. Hrsg. v. Princeton University (DE-627)1271545853 (DE-625)rvk/143195: (DE-576)201545853 SK 130 Logik und Grundlagen, Metamathematik, Mathematik Monografien Logik und Grundlagen, Metamathematik, (DE-627)1270918567 (DE-625)rvk/143216: (DE-576)200918567 BO 045F 511.33 21 01 0046 3485332585 ebook_2023_degruyter_ebs Freie Nutzung im <a href="http://nbn-resolving.de/urn:nbn:de:gbv:46-campusnetz9" Target="_blank">Campusnetz</a> der Universitaet und der Hochschulen im Lande Bremen zza 11-06-19 22 01 0018 4108977157 00 --%%-- --%%-- s --%%-- SUBedegebs zu 01-04-22 23 01 0830 354524881X olr-degruyter3 i z 21-11-19 24 01 0008 3806293678 00 --%%-- --%%-- s --%%-- olr-dgebs Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Die Weitergabe an Dritte sowie systematisches Downloaden sind untersagt. Zugriff auf den Volltext nur für Universitätsangehörige innerhalb des Netzes der Universität Kiel (Campuslizenz). z 18-11-20 31 01 0027 3869022353 OLR-DeGruyterEBS Zugang zeitlich begrenzt. Dauerhaften Zugang über Formular für Anschaffungsvorschläge anfragen. Vervielfältigungen (z.B. Kopien, Downloads) sind nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Die Weitergabe an Dritte sowie systematisches Downloaden sind untersagt. z 21-02-21 34 01 3551 4078421164 OLR-EBAKALL-EBS Zugriff nur im Netz der HAW Hamburg z 03-03-22 65 01 0003 4418927832 DeGruyter-EBA Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Die Weitergabe an Dritte sowie systematisches Downloaden sind untersagt. z 27-11-23 69 01 0009 375683350X Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Die Weitergabe an Dritte sowie systematisches Downloaden sind untersagt. BF_dG z 17-09-20 72 01 0035 4117550586 OLR-DG-PDA11SSHE Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots. z 13-04-22 90 01 3090 3533820505 OLR-HILdegruyter Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Die Weitergabe an Dritte sowie systematisches Downloaden sind untersagt. z 01-11-19 95 01 3095 3544340569 OLR-DEGRUYTER Ausdruck und Kopien sind ausschließlich für den eigenen wissenschaftlichen Gebrauch gestattet z1 21-11-19 110 01 3110 3515470662 OLR-DEGRUYTER-EBS-2018 Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Die Weitergabe an Dritte sowie systematisches Downloaden sind untersagt. Volltextzugriff nur für berechtigte Personen über das Campusnetz z 13-09-19 120 01 0715 3569523454 Campusweiter Zugriff (Universität Oldenburg). - Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots. z 21-12-19 120 02 0715 3582045862 00 --%%-- --%%-- g --%%-- alma z 24-01-20 122 01 0897 3544733315 OLR-deGruyter-EBS Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots z 21-11-19 130 01 0700 3986579613 00 --%%-- --%%-- s --%%-- OLR-deGruyter-EBA-EBKALL Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Die Weitergabe an Dritte sowie systematisches Downloaden sind untersagt. z 10-10-21 140 01 0839 3568762811 OLR-deGruyter-EBS Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots z 20-12-19 147 01 3528 3788727403 OLR-EBS-DG Multiuser \| freigeschaltet für Europa-Universität Flensburg, Hochschule Flensburg und Zentrale Hochschulbibliothek Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Die Weitergabe an Dritte sowie systematisches Downloaden sind untersagt. z 28-10-20 264 01 3264 3571248104 OLR-deGruyter-EBS Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots z 02-01-20 370 01 4370 4087170829 EBS deGruyter Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots. i z 10-03-22 736 01 4736 4492868062 DeGryuterEBS2024 verv zeg 28-02-24 2001 01 DE-21 3937525173 00 --%%-- --%%-- --%%-- kp l01 12-06-21 2006 01 DE-14 4433095958 00 --%%-- --%%-- --%%-- --%%-- l01 12-12-23 2010 01 DE-15 4433042935 00 --%%-- --%%-- --%%-- n Elektronischer Volltext - Campuslizenz l01 12-12-23 2020 01 DE-Ch1 4439786413 00 --%%-- --%%-- --%%-- n Campuslizenz l01 17-12-23 2027 01 DE-105 446232806X 00 --%%-- --%%-- --%%-- n Campuslizenz l01 18-01-24 2044 01 DE-751 4587864137 00 --%%-- eBook de Gruyter --%%-- n Campuslizenz bis 30.09.2025. Bitte beachten Sie die Nutzungshinweise auf unserer Homepage (de Gruyter) l01 06-10-24 2045 01 DE-Mit1 4490796854 00 --%%-- --%%-- --%%-- n Volltext - Campuslizenz l01 25-02-24 2050 01 DE-Zi4 4439786421 00 --%%-- --%%-- --%%-- n Zugriff im HSZG-Campusnetz. Zugriff von auβerhalb nur für HSZG-Angehörige. l01 17-12-23 2063 01 DE-951 3823877437 00 --%%-- eBook de Gruyter n n Elektronischer Volltext - Campuslizenz l01 11-12-20 2088 01 DE-Frei3c 3407365004 00 --%%-- eBook Princeton UP p --%%-- l01 21-04-17 2118 01 DE-Mh35 4443511733 00 --%%-- eBook de Gruyter --%%-- n Elektronischer Volltext - Campuslizenz l01 23-12-23 21 01 0046 https://doi.org/10.1515/9781400882007 22 01 0018 Volltextzugang Campus https://doi.org/10.1515/9781400882007 22 01 0018 Volltextzugang von außerhalb des Campus http://emedien.sub.uni-hamburg.de/han/degruyterebooks/doi.org/10.1515/9781400882007 23 01 0830 E-books (deGruyter) https://doi.org/10.1515/9781400882007 24 01 0008 https://doi.org/10.1515/9781400882007 31 01 0027 https://doi.org/10.1515/9781400882007 34 01 3551 https://doi.org/10.1515/9781400882007 65 01 0003 https://doi.org/10.1515/9781400882007 69 01 0009 https://doi.org/10.1515/9781400882007 72 01 0035 http://hanproxy.gwlb.de/han/degruyter/doi.org/10.1515/9781400882007 90 01 3090 https://doi.org/10.1515/9781400882007 95 01 3095 http://dx.doi.org/10.1515/9781400882007 110 01 3110 https://doi.org/10.1515/9781400882007 120 01 0715 http://dx.doi.org/10.1515/9781400882007 120 02 0715 http://49gbv-uob-primo.hosted.exlibrisgroup.com/openurl/49GBV_UOB/UOB_services_page?u.ignore_date_coverage=true&rft.mms_id=991014935609803501 122 01 0897 http://dx.doi.org/10.1515/9781400882007 130 01 0700 https://doi.org/10.1515/9781400882007 140 01 0839 http://dx.doi.org/10.1515/9781400882007 147 01 3528 https://doi.org/10.1515/9781400882007 264 01 3264 http://dx.doi.org/10.1515/9781400882007 370 01 4370 E-Book: Zugriff im HCU-Netz. Zugriff von außerhalb nur für HCU-Angehörige möglich https://doi.org/10.1515/9781400882007 736 01 4736 https://doi.org/10.1515/9781400882007 2001 01 DE-21 https://doi.org/10.1515/9781400882007 2006 01 DE-14 https://www.degruyter.com/isbn/9781400882007 2010 01 DE-15 Online-Zugriff https://www.degruyter.com/isbn/9781400882007 2020 01 DE-Ch1 https://doi.org/10.1515/9781400882007 2044 01 DE-751 https://doi.org/10.1515/9781400882007 2045 01 DE-Mit1 https://doi.org/10.1515/9781400882007 2050 01 DE-Zi4 https://doi.org/10.1515/9781400882007 2063 01 DE-951 https://doi.org/10.1515/9781400882007 2088 01 DE-Frei3c https://www.degruyter.com/isbn/9781400882007 2118 01 DE-Mh35 https://doi.org/10.1515/9781400882007 31 01 0027 00 E-Book DeGruyter 2001 01 DE-21 00 s eBook-DeGruyter-EBS-2021-2022 2027 01 DE-105 00 s ebook 2088 01 DE-Frei3c 00 s ebook 120 00 DE-715 99 ww 2063 01 DE-951 00 (DE-627)1384640894 e-Book 2063 01 DE-951 00 (DE-627)1478403012 e-Book De Gruyter 23 01 0830 2018-01715, 2018-01716, 2018-01717, 2018-01718, 2018-01719 72 01 0035 ebk1 21 01 0046 ebook_2023_degruyter_ebs 21 01 0046 ebm 22 01 0018 SUBedegebs 23 01 0830 olr-degruyter3 24 01 0008 olr-dgebs 31 01 0027 OLR-DeGruyterEBS 34 01 3551 OLR-EBAKALL-EBS 65 01 0003 DeGruyter-EBA 72 01 0035 OLR-DG-PDA11SSHE 90 01 3090 OLR-HILdegruyter 95 01 3095 OLR-DEGRUYTER 110 01 3110 OLR-DEGRUYTER-EBS-2018 120 02 0715 alma 122 01 0897 OLR-deGruyter-EBS 130 01 0700 OLR-deGruyter-EBA-EBKALL 140 01 0839 OLR-deGruyter-EBS 147 01 3528 OLR-EBS-DG 264 01 3264 OLR-deGruyter-EBS 370 01 4370 EBS deGruyter 736 01 4736 DeGryuterEBS2024
allfieldsSound	9781400882007 978-1-4008-8200-7 10.1515/9781400882007 doi (DE-627)1659128854 (DE-576)478624964 (DE-599)BSZ478624964 (OCoLC)945632447 (EBP)005963656 (DE-B1597)467917 DE-627 ger DE-627 rda eng QA248.5 SCI064000 bisacsh CC 2600 SEPA rvk (DE-625)rvk/17610: SI 830 SEPA rvk (DE-625)rvk/143195: SK 130 SEPA rvk (DE-625)rvk/143216: Smullyan, Raymond M. verfasserin aut Theory of Formal Systems (AM-47) Raymond M. Smullyan Princeton, NJ Princeton University Press 2016 ©1961 1 online resource Text txt rdacontent Computermedien c rdamedia Online-Ressource cr rdacarrier Annals of Mathematics Studies 47 Restricted Access Controlled Vocabulary for Access Rights http://purl.org/coar/access_right/c_16ec online access with authorization star Frontmatter -- TABLE OF CONTENTS -- PREFACE -- ANNALS OF MATHEMATICS STUDIES -- CHAPTER I: FORMAL MATHEMATICAL SYSTEMS -- CHAPTER II: FORMAL REPRESENTABILITY AND RECURSIVE ENUMERABILITY -- CHAPTER III: INCOMPLETENESS -AND UNDECIDABILITY -- CHAPTER IV: RECURSIVE FUNCTION THEORY -- CHAPTER V: CREATIVITY AND EFFECTIVE INSEPARABILITY -- SUPPLEMENT: APPLICATIONS TO MATHEMATICAL LOGIC -- REFERENCE AND BRIEF BIBLIOGRAPHY This book serves both as a completely self-contained introduction and as an exposition of new results in the field of recursive function theory and its application to formal systems 1961 In English Recursive functions Logic, Symbolic and mathematical Mathematics Logic, Symbolic and mathematical. Mathematics. Recursive functions. SCIENCE / System Theory Addition Algebraic geometry Alonzo Church Arithmetic function Arithmetic Atomic sentence Axiom A Axiom schema Axiom Axiomatic system Binary relation Cantor's diagonal argument Cartesian product Characterization (mathematics) Chinese remainder theorem Closed-form expression Closure (mathematics) Combination Combinatory logic Complement (set theory) Concatenation theory Consistency Constructive proof Corollary Countable set Counterexample Decidability (logic) Decision problem Definable set Diagonalization s (DE-588)4443996-9 (DE-627)225305542 (DE-576)212501194 Rekursivität gnd (DE-627) s (DE-588)4152398-2 (DE-627)105538523 (DE-576)209795204 Entscheidbarkeit gnd (DE-627) 9780691080475 : print Erscheint auch als Druck-Ausgabe Smullyan, Raymond M., 1919 - 2017 Theory of formal systems Rev. ed. Princeton, NJ : Princeton Univ. Press, 1961 147 S. (DE-627)1619185490 (DE-576)011191015 069108047X Annals of mathematics studies 47 47 (DE-627)1023148277 (DE-576)479798699 (DE-600)2930519-6 ns http://dx.doi.org/10.1515/9781400882007 Verlag Volltext https://doi.org/10.1515/9781400882007 X:GRUY Resolving-System lizenzpflichtig Volltext https://www.degruyter.com/isbn/9781400882007 X:GRUY Verlag lizenzpflichtig https://www.degruyter.com/doc/cover/9781400882007.jpg X:GRUY Cover https://www.degruyter.com/cover/covers/9781400882007.jpg X:GRUY Verlag Cover https://www.degruyter.com/document/cover/isbn/9781400882007/original X:GRUY Verlag Cover ZDB-23-PST EBA-BACKALL EBA-EBACKALL EBA-EBKALL EBA-EEBKALL EBA-ESSHALL EBA-ESTMALL EBA-PPALL EBA-SSHALL EBA-STMALL GBV-deGruyter-alles ZDB-23-DGG EBA-CL-MTPY EBA-ECL-MTPY ZDB-23-PMB GBV_ILN_21 ISIL_DE-46 SYSFLAG_1 GBV_KXP GBV_ILN_22 ISIL_DE-18 GBV_ILN_23 ISIL_DE-830 GBV_ILN_24 ISIL_DE-8 GBV_ILN_31 ISIL_DE-27 GBV_ILN_34 ISIL_DE-18-302 GBV_ILN_65 ISIL_DE-3 GBV_ILN_69 ISIL_DE-9 GBV_ILN_72 ISIL_DE-35 GBV_ILN_90 ISIL_DE-Hil2 GBV_ILN_95 ISIL_DE-542 GBV_ILN_110 ISIL_DE-Luen4 GBV_ILN_120 ISIL_DE-715 GBV_ILN_122 ISIL_DE-897 GBV_ILN_130 ISIL_DE-700 GBV_ILN_140 ISIL_DE-839 GBV_ILN_147 ISIL_DE-Fl3 GBV_ILN_264 ISIL_DE-897-1 GBV_ILN_370 ISIL_DE-1373 GBV_ILN_736 GBV_ILN_2001 ISIL_DE-21 GBV_ILN_2006 ISIL_DE-14 GBV_ILN_2010 ISIL_DE-15 GBV_ILN_2020 ISIL_DE-Ch1 GBV_ILN_2027 ISIL_DE-105 GBV_ILN_2044 ISIL_DE-751 GBV_ILN_2045 ISIL_DE-Mit1 GBV_ILN_2050 ISIL_DE-Zi4 GBV_ILN_2063 ISIL_DE-951 GBV_ILN_2088 ISIL_DE-Frei3c GBV_ILN_2118 ISIL_DE-Mh35 CC 2600 Abhandlungen zur Logik und mathematischen Grundlagenforschung Philosophie Systematische Philosophie Logik Abhandlungen zur Logik und mathematischen Grundlagenforschung (DE-627)1270638734 (DE-625)rvk/17610: (DE-576)200638734 SI 830 Annals of mathematics studies. Hrsg. v. Princeton University Mathematik Schriftenreihen Schriftenreihen in der alphabetischen Ordnung nach Verfassern Annals of mathematics studies. Hrsg. v. Princeton University (DE-627)1271545853 (DE-625)rvk/143195: (DE-576)201545853 SK 130 Logik und Grundlagen, Metamathematik, Mathematik Monografien Logik und Grundlagen, Metamathematik, (DE-627)1270918567 (DE-625)rvk/143216: (DE-576)200918567 BO 045F 511.33 21 01 0046 3485332585 ebook_2023_degruyter_ebs Freie Nutzung im <a href="http://nbn-resolving.de/urn:nbn:de:gbv:46-campusnetz9" Target="_blank">Campusnetz</a> der Universitaet und der Hochschulen im Lande Bremen zza 11-06-19 22 01 0018 4108977157 00 --%%-- --%%-- s --%%-- SUBedegebs zu 01-04-22 23 01 0830 354524881X olr-degruyter3 i z 21-11-19 24 01 0008 3806293678 00 --%%-- --%%-- s --%%-- olr-dgebs Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Die Weitergabe an Dritte sowie systematisches Downloaden sind untersagt. Zugriff auf den Volltext nur für Universitätsangehörige innerhalb des Netzes der Universität Kiel (Campuslizenz). z 18-11-20 31 01 0027 3869022353 OLR-DeGruyterEBS Zugang zeitlich begrenzt. Dauerhaften Zugang über Formular für Anschaffungsvorschläge anfragen. Vervielfältigungen (z.B. Kopien, Downloads) sind nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Die Weitergabe an Dritte sowie systematisches Downloaden sind untersagt. z 21-02-21 34 01 3551 4078421164 OLR-EBAKALL-EBS Zugriff nur im Netz der HAW Hamburg z 03-03-22 65 01 0003 4418927832 DeGruyter-EBA Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Die Weitergabe an Dritte sowie systematisches Downloaden sind untersagt. z 27-11-23 69 01 0009 375683350X Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Die Weitergabe an Dritte sowie systematisches Downloaden sind untersagt. BF_dG z 17-09-20 72 01 0035 4117550586 OLR-DG-PDA11SSHE Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots. z 13-04-22 90 01 3090 3533820505 OLR-HILdegruyter Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Die Weitergabe an Dritte sowie systematisches Downloaden sind untersagt. z 01-11-19 95 01 3095 3544340569 OLR-DEGRUYTER Ausdruck und Kopien sind ausschließlich für den eigenen wissenschaftlichen Gebrauch gestattet z1 21-11-19 110 01 3110 3515470662 OLR-DEGRUYTER-EBS-2018 Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Die Weitergabe an Dritte sowie systematisches Downloaden sind untersagt. Volltextzugriff nur für berechtigte Personen über das Campusnetz z 13-09-19 120 01 0715 3569523454 Campusweiter Zugriff (Universität Oldenburg). - Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots. z 21-12-19 120 02 0715 3582045862 00 --%%-- --%%-- g --%%-- alma z 24-01-20 122 01 0897 3544733315 OLR-deGruyter-EBS Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots z 21-11-19 130 01 0700 3986579613 00 --%%-- --%%-- s --%%-- OLR-deGruyter-EBA-EBKALL Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Die Weitergabe an Dritte sowie systematisches Downloaden sind untersagt. z 10-10-21 140 01 0839 3568762811 OLR-deGruyter-EBS Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots z 20-12-19 147 01 3528 3788727403 OLR-EBS-DG Multiuser \| freigeschaltet für Europa-Universität Flensburg, Hochschule Flensburg und Zentrale Hochschulbibliothek Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Die Weitergabe an Dritte sowie systematisches Downloaden sind untersagt. z 28-10-20 264 01 3264 3571248104 OLR-deGruyter-EBS Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots z 02-01-20 370 01 4370 4087170829 EBS deGruyter Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots. i z 10-03-22 736 01 4736 4492868062 DeGryuterEBS2024 verv zeg 28-02-24 2001 01 DE-21 3937525173 00 --%%-- --%%-- --%%-- kp l01 12-06-21 2006 01 DE-14 4433095958 00 --%%-- --%%-- --%%-- --%%-- l01 12-12-23 2010 01 DE-15 4433042935 00 --%%-- --%%-- --%%-- n Elektronischer Volltext - Campuslizenz l01 12-12-23 2020 01 DE-Ch1 4439786413 00 --%%-- --%%-- --%%-- n Campuslizenz l01 17-12-23 2027 01 DE-105 446232806X 00 --%%-- --%%-- --%%-- n Campuslizenz l01 18-01-24 2044 01 DE-751 4587864137 00 --%%-- eBook de Gruyter --%%-- n Campuslizenz bis 30.09.2025. Bitte beachten Sie die Nutzungshinweise auf unserer Homepage (de Gruyter) l01 06-10-24 2045 01 DE-Mit1 4490796854 00 --%%-- --%%-- --%%-- n Volltext - Campuslizenz l01 25-02-24 2050 01 DE-Zi4 4439786421 00 --%%-- --%%-- --%%-- n Zugriff im HSZG-Campusnetz. Zugriff von auβerhalb nur für HSZG-Angehörige. l01 17-12-23 2063 01 DE-951 3823877437 00 --%%-- eBook de Gruyter n n Elektronischer Volltext - Campuslizenz l01 11-12-20 2088 01 DE-Frei3c 3407365004 00 --%%-- eBook Princeton UP p --%%-- l01 21-04-17 2118 01 DE-Mh35 4443511733 00 --%%-- eBook de Gruyter --%%-- n Elektronischer Volltext - Campuslizenz l01 23-12-23 21 01 0046 https://doi.org/10.1515/9781400882007 22 01 0018 Volltextzugang Campus https://doi.org/10.1515/9781400882007 22 01 0018 Volltextzugang von außerhalb des Campus http://emedien.sub.uni-hamburg.de/han/degruyterebooks/doi.org/10.1515/9781400882007 23 01 0830 E-books (deGruyter) https://doi.org/10.1515/9781400882007 24 01 0008 https://doi.org/10.1515/9781400882007 31 01 0027 https://doi.org/10.1515/9781400882007 34 01 3551 https://doi.org/10.1515/9781400882007 65 01 0003 https://doi.org/10.1515/9781400882007 69 01 0009 https://doi.org/10.1515/9781400882007 72 01 0035 http://hanproxy.gwlb.de/han/degruyter/doi.org/10.1515/9781400882007 90 01 3090 https://doi.org/10.1515/9781400882007 95 01 3095 http://dx.doi.org/10.1515/9781400882007 110 01 3110 https://doi.org/10.1515/9781400882007 120 01 0715 http://dx.doi.org/10.1515/9781400882007 120 02 0715 http://49gbv-uob-primo.hosted.exlibrisgroup.com/openurl/49GBV_UOB/UOB_services_page?u.ignore_date_coverage=true&rft.mms_id=991014935609803501 122 01 0897 http://dx.doi.org/10.1515/9781400882007 130 01 0700 https://doi.org/10.1515/9781400882007 140 01 0839 http://dx.doi.org/10.1515/9781400882007 147 01 3528 https://doi.org/10.1515/9781400882007 264 01 3264 http://dx.doi.org/10.1515/9781400882007 370 01 4370 E-Book: Zugriff im HCU-Netz. Zugriff von außerhalb nur für HCU-Angehörige möglich https://doi.org/10.1515/9781400882007 736 01 4736 https://doi.org/10.1515/9781400882007 2001 01 DE-21 https://doi.org/10.1515/9781400882007 2006 01 DE-14 https://www.degruyter.com/isbn/9781400882007 2010 01 DE-15 Online-Zugriff https://www.degruyter.com/isbn/9781400882007 2020 01 DE-Ch1 https://doi.org/10.1515/9781400882007 2044 01 DE-751 https://doi.org/10.1515/9781400882007 2045 01 DE-Mit1 https://doi.org/10.1515/9781400882007 2050 01 DE-Zi4 https://doi.org/10.1515/9781400882007 2063 01 DE-951 https://doi.org/10.1515/9781400882007 2088 01 DE-Frei3c https://www.degruyter.com/isbn/9781400882007 2118 01 DE-Mh35 https://doi.org/10.1515/9781400882007 31 01 0027 00 E-Book DeGruyter 2001 01 DE-21 00 s eBook-DeGruyter-EBS-2021-2022 2027 01 DE-105 00 s ebook 2088 01 DE-Frei3c 00 s ebook 120 00 DE-715 99 ww 2063 01 DE-951 00 (DE-627)1384640894 e-Book 2063 01 DE-951 00 (DE-627)1478403012 e-Book De Gruyter 23 01 0830 2018-01715, 2018-01716, 2018-01717, 2018-01718, 2018-01719 72 01 0035 ebk1 21 01 0046 ebook_2023_degruyter_ebs 21 01 0046 ebm 22 01 0018 SUBedegebs 23 01 0830 olr-degruyter3 24 01 0008 olr-dgebs 31 01 0027 OLR-DeGruyterEBS 34 01 3551 OLR-EBAKALL-EBS 65 01 0003 DeGruyter-EBA 72 01 0035 OLR-DG-PDA11SSHE 90 01 3090 OLR-HILdegruyter 95 01 3095 OLR-DEGRUYTER 110 01 3110 OLR-DEGRUYTER-EBS-2018 120 02 0715 alma 122 01 0897 OLR-deGruyter-EBS 130 01 0700 OLR-deGruyter-EBA-EBKALL 140 01 0839 OLR-deGruyter-EBS 147 01 3528 OLR-EBS-DG 264 01 3264 OLR-deGruyter-EBS 370 01 4370 EBS deGruyter 736 01 4736 DeGryuterEBS2024
language	English
format_phy_str_mv	Book
building	21:z 22:u 23 24 31 34 65 69 72 90 95:1 110 120 122 130 140 147 264 370 736:e 2001:0 2006:0 2010:0 2020:0 2027:0 2044:0 2045:0 2050:0 2063:0 2088:0 2118:0
institution	findex.gbv.de
selectbib_iln_str_mv	21@za 22@u 23@ 24@ 31@ 34@ 65@ 69@ 72@ 90@ 95@1 110@ 120@ 122@ 130@ 140@ 147@ 264@ 370@ 736@eg 2001@01 2006@01 2010@01 2020@01 2027@01 2044@01 2045@01 2050@01 2063@01 2088@01 2118@01
topic_facet	Recursive functions Logic, Symbolic and mathematical Mathematics Logic, Symbolic and mathematical. Mathematics. Recursive functions. SCIENCE / System Theory Addition Algebraic geometry Alonzo Church Arithmetic function Arithmetic Atomic sentence Axiom A Axiom schema Axiom Axiomatic system Binary relation Cantor's diagonal argument Cartesian product Characterization (mathematics) Chinese remainder theorem Closed-form expression Closure (mathematics) Combination Combinatory logic Complement (set theory) Concatenation theory Consistency Constructive proof Corollary Countable set Counterexample Decidability (logic) Decision problem Definable set Diagonalization Rekursivität Entscheidbarkeit
sw_local_iln_str_mv	31:E-Book DeGruyter 0027:E-Book DeGruyter 2001:eBook-DeGruyter-EBS-2021-2022 DE-21:eBook-DeGruyter-EBS-2021-2022 2027:ebook DE-105:ebook 2088:ebook DE-Frei3c:ebook
isfreeaccess_bool	false
authorswithroles_txt_mv	Smullyan, Raymond M. @@aut@@
publishDateDaySort_date	2016-01-01T00:00:00Z
hierarchy_top_id	1023148277
id	1659128854
signature_iln	2044:eBook de Gruyter DE-751:eBook de Gruyter 2063:eBook de Gruyter DE-951:eBook de Gruyter 2088:eBook Princeton UP DE-Frei3c:eBook Princeton UP 2118:eBook de Gruyter DE-Mh35:eBook de Gruyter
signature_iln_str_mv	2044:eBook de Gruyter DE-751:eBook de Gruyter 2063:eBook de Gruyter DE-951:eBook de Gruyter 2088:eBook Princeton UP DE-Frei3c:eBook Princeton UP 2118:eBook de Gruyter DE-Mh35:eBook de Gruyter
signature_iln_scis_mv	2044:eBook de Gruyter DE-751:eBook de Gruyter 2063:eBook de Gruyter DE-951:eBook de Gruyter 2088:eBook Princeton UP DE-Frei3c:eBook Princeton UP 2118:eBook de Gruyter DE-Mh35:eBook de Gruyter
language_de	englisch
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01000cam a2200265 4500</leader><controlfield tag="001">1659128854</controlfield><controlfield tag="003">DE-627</controlfield><controlfield tag="005">20241006180441.0</controlfield><controlfield tag="007">cr uuu---uuuuu</controlfield><controlfield tag="008">161024r20161961xx \|\|\|\|\|o 00\| \|\|eng c</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781400882007</subfield><subfield code="9">978-1-4008-8200-7</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1515/9781400882007</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-627)1659128854</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-576)478624964</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BSZ478624964</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)945632447</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(EBP)005963656</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-B1597)467917</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-627</subfield><subfield code="b">ger</subfield><subfield code="c">DE-627</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1=" " ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA248.5</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">SCI064000</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">CC 2600</subfield><subfield code="q">SEPA</subfield><subfield code="2">rvk</subfield><subfield code="0">(DE-625)rvk/17610:</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SI 830</subfield><subfield code="q">SEPA</subfield><subfield code="2">rvk</subfield><subfield code="0">(DE-625)rvk/143195:</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SK 130</subfield><subfield code="q">SEPA</subfield><subfield code="2">rvk</subfield><subfield code="0">(DE-625)rvk/143216:</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Smullyan, Raymond M.</subfield><subfield code="e">verfasserin</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Theory of Formal Systems</subfield><subfield code="b">(AM-47)</subfield><subfield code="c">Raymond M. Smullyan</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Princeton, NJ</subfield><subfield code="b">Princeton University Press</subfield><subfield code="c">2016</subfield></datafield><datafield tag="264" ind1=" " ind2="4"><subfield code="c">©1961</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="a">Text</subfield><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="a">Computermedien</subfield><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">Online-Ressource</subfield><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Annals of Mathematics Studies</subfield><subfield code="v">47</subfield></datafield><datafield tag="506" ind1="1" ind2=" "><subfield code="a">Restricted Access</subfield><subfield code="e">Controlled Vocabulary for Access Rights</subfield><subfield code="u">http://purl.org/coar/access_right/c_16ec</subfield><subfield code="f">online access with authorization</subfield><subfield code="2">star</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">Frontmatter -- TABLE OF CONTENTS -- PREFACE -- ANNALS OF MATHEMATICS STUDIES -- CHAPTER I: FORMAL MATHEMATICAL SYSTEMS -- CHAPTER II: FORMAL REPRESENTABILITY AND RECURSIVE ENUMERABILITY -- CHAPTER III: INCOMPLETENESS -AND UNDECIDABILITY -- CHAPTER IV: RECURSIVE FUNCTION THEORY -- CHAPTER V: CREATIVITY AND EFFECTIVE INSEPARABILITY -- SUPPLEMENT: APPLICATIONS TO MATHEMATICAL LOGIC -- REFERENCE AND BRIEF BIBLIOGRAPHY</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">This book serves both as a completely self-contained introduction and as an exposition of new results in the field of recursive function theory and its application to formal systems</subfield></datafield><datafield tag="534" ind1=" " ind2=" "><subfield code="c">1961</subfield></datafield><datafield tag="546" ind1=" " ind2=" "><subfield code="a">In English</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Recursive functions</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Logic, Symbolic and mathematical</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Mathematics</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic, Symbolic and mathematical.</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematics.</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Recursive functions.</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">SCIENCE / System Theory</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Addition</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Algebraic geometry</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Alonzo Church</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Arithmetic function</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Arithmetic</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Atomic sentence</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Axiom A</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Axiom schema</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Axiom</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Axiomatic system</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Binary relation</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Cantor's diagonal argument</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Cartesian product</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Characterization (mathematics)</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Chinese remainder theorem</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Closed-form expression</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Closure (mathematics)</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Combination</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Combinatory logic</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Complement (set theory)</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Concatenation theory</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Consistency</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Constructive proof</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Corollary</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Countable set</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Counterexample</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Decidability (logic)</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Decision problem</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Definable set</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Diagonalization</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="D">s</subfield><subfield code="0">(DE-588)4443996-9</subfield><subfield code="0">(DE-627)225305542</subfield><subfield code="0">(DE-576)212501194</subfield><subfield code="a">Rekursivität</subfield><subfield code="2">gnd</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">(DE-627)</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="D">s</subfield><subfield code="0">(DE-588)4152398-2</subfield><subfield code="0">(DE-627)105538523</subfield><subfield code="0">(DE-576)209795204</subfield><subfield code="a">Entscheidbarkeit</subfield><subfield code="2">gnd</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">(DE-627)</subfield></datafield><datafield tag="776" ind1="1" ind2=" "><subfield code="z">9780691080475</subfield><subfield code="c">: print</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">Smullyan, Raymond M., 1919 - 2017</subfield><subfield code="t">Theory of formal systems</subfield><subfield code="b">Rev. ed.</subfield><subfield code="d">Princeton, NJ : Princeton Univ. Press, 1961</subfield><subfield code="h">147 S.</subfield><subfield code="w">(DE-627)1619185490</subfield><subfield code="w">(DE-576)011191015</subfield><subfield code="z">069108047X</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Annals of mathematics studies</subfield><subfield code="v">47</subfield><subfield code="9">47</subfield><subfield code="w">(DE-627)1023148277</subfield><subfield code="w">(DE-576)479798699</subfield><subfield code="w">(DE-600)2930519-6</subfield><subfield code="7">ns</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">http://dx.doi.org/10.1515/9781400882007</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1515/9781400882007</subfield><subfield code="m">X:GRUY</subfield><subfield code="x">Resolving-System</subfield><subfield code="z">lizenzpflichtig</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://www.degruyter.com/isbn/9781400882007</subfield><subfield code="m">X:GRUY</subfield><subfield code="x">Verlag</subfield><subfield code="z">lizenzpflichtig</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="u">https://www.degruyter.com/doc/cover/9781400882007.jpg</subfield><subfield code="m">X:GRUY</subfield><subfield code="3">Cover</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="u">https://www.degruyter.com/cover/covers/9781400882007.jpg</subfield><subfield code="m">X:GRUY</subfield><subfield code="x">Verlag</subfield><subfield code="3">Cover</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="u">https://www.degruyter.com/document/cover/isbn/9781400882007/original</subfield><subfield code="m">X:GRUY</subfield><subfield code="x">Verlag</subfield><subfield code="3">Cover</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-23-PST</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">EBA-BACKALL</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">EBA-EBACKALL</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">EBA-EBKALL</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">EBA-EEBKALL</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">EBA-ESSHALL</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">EBA-ESTMALL</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">EBA-PPALL</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">EBA-SSHALL</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">EBA-STMALL</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV-deGruyter-alles</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-23-DGG</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">EBA-CL-MTPY</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">EBA-ECL-MTPY</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-23-PMB</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_21</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-46</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">SYSFLAG_1</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_KXP</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_22</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-18</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_23</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-830</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_24</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-8</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_31</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-27</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_34</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-18-302</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_65</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-3</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_69</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-9</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_72</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-35</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_90</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-Hil2</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_95</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-542</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_110</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-Luen4</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_120</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-715</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_122</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-897</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_130</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-700</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_140</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-839</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_147</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-Fl3</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_264</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-897-1</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_370</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-1373</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_736</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2001</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-21</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2006</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-14</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2010</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-15</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2020</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-Ch1</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2027</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-105</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2044</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-751</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2045</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-Mit1</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2050</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-Zi4</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2063</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-951</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2088</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-Frei3c</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2118</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-Mh35</subfield></datafield><datafield tag="936" ind1="r" ind2="v"><subfield code="a">CC 2600</subfield><subfield code="b">Abhandlungen zur Logik und mathematischen Grundlagenforschung</subfield><subfield code="k">Philosophie</subfield><subfield code="k">Systematische Philosophie</subfield><subfield code="k">Logik</subfield><subfield code="k">Abhandlungen zur Logik und mathematischen Grundlagenforschung</subfield><subfield code="0">(DE-627)1270638734</subfield><subfield code="0">(DE-625)rvk/17610:</subfield><subfield code="0">(DE-576)200638734</subfield></datafield><datafield tag="936" ind1="r" ind2="v"><subfield code="a">SI 830</subfield><subfield code="b">Annals of mathematics studies. Hrsg. v. Princeton University</subfield><subfield code="k">Mathematik</subfield><subfield code="k">Schriftenreihen</subfield><subfield code="k">Schriftenreihen in der alphabetischen Ordnung nach Verfassern</subfield><subfield code="k">Annals of mathematics studies. Hrsg. v. Princeton University</subfield><subfield code="0">(DE-627)1271545853</subfield><subfield code="0">(DE-625)rvk/143195:</subfield><subfield code="0">(DE-576)201545853</subfield></datafield><datafield tag="936" ind1="r" ind2="v"><subfield code="a">SK 130</subfield><subfield code="b">Logik und Grundlagen, Metamathematik,</subfield><subfield code="k">Mathematik</subfield><subfield code="k">Monografien</subfield><subfield code="k">Logik und Grundlagen, Metamathematik,</subfield><subfield code="0">(DE-627)1270918567</subfield><subfield code="0">(DE-625)rvk/143216:</subfield><subfield code="0">(DE-576)200918567</subfield></datafield><datafield tag="951" ind1=" " ind2=" "><subfield code="a">BO</subfield></datafield><datafield tag="953" ind1=" " ind2=" "><subfield code="2">045F</subfield><subfield code="a">511.33</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">21</subfield><subfield code="1">01</subfield><subfield code="x">0046</subfield><subfield code="b">3485332585</subfield><subfield code="h">ebook_2023_degruyter_ebs</subfield><subfield code="k">Freie Nutzung im <a href="http://nbn-resolving.de/urn:nbn:de:gbv:46-campusnetz9" Target="_blank">Campusnetz</a> der Universitaet und der Hochschulen im Lande Bremen</subfield><subfield code="y">zza</subfield><subfield code="z">11-06-19</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">22</subfield><subfield code="1">01</subfield><subfield code="x">0018</subfield><subfield code="b">4108977157</subfield><subfield code="c">00</subfield><subfield code="f">--%%--</subfield><subfield code="d">--%%--</subfield><subfield code="e">s</subfield><subfield code="j">--%%--</subfield><subfield code="h">SUBedegebs</subfield><subfield code="y">zu</subfield><subfield code="z">01-04-22</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">23</subfield><subfield code="1">01</subfield><subfield code="x">0830</subfield><subfield code="b">354524881X</subfield><subfield code="h">olr-degruyter3</subfield><subfield code="u">i</subfield><subfield code="y">z</subfield><subfield code="z">21-11-19</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">24</subfield><subfield code="1">01</subfield><subfield code="x">0008</subfield><subfield code="b">3806293678</subfield><subfield code="c">00</subfield><subfield code="f">--%%--</subfield><subfield code="d">--%%--</subfield><subfield code="e">s</subfield><subfield code="j">--%%--</subfield><subfield code="h">olr-dgebs</subfield><subfield code="k">Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Die Weitergabe an Dritte sowie systematisches Downloaden sind untersagt.</subfield><subfield code="k">Zugriff auf den Volltext nur für Universitätsangehörige innerhalb des Netzes der Universität Kiel (Campuslizenz).</subfield><subfield code="y">z</subfield><subfield code="z">18-11-20</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">31</subfield><subfield code="1">01</subfield><subfield code="x">0027</subfield><subfield code="b">3869022353</subfield><subfield code="h">OLR-DeGruyterEBS</subfield><subfield code="k">Zugang zeitlich begrenzt. Dauerhaften Zugang über Formular für Anschaffungsvorschläge anfragen.</subfield><subfield code="k">Vervielfältigungen (z.B. Kopien, Downloads) sind nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Die Weitergabe an Dritte sowie systematisches Downloaden sind untersagt.</subfield><subfield code="y">z</subfield><subfield code="z">21-02-21</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">34</subfield><subfield code="1">01</subfield><subfield code="x">3551</subfield><subfield code="b">4078421164</subfield><subfield code="h">OLR-EBAKALL-EBS</subfield><subfield code="k">Zugriff nur im Netz der HAW Hamburg</subfield><subfield code="y">z</subfield><subfield code="z">03-03-22</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">65</subfield><subfield code="1">01</subfield><subfield code="x">0003</subfield><subfield code="b">4418927832</subfield><subfield code="h">DeGruyter-EBA</subfield><subfield code="k">Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Die Weitergabe an Dritte sowie systematisches Downloaden sind untersagt.</subfield><subfield code="y">z</subfield><subfield code="z">27-11-23</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">69</subfield><subfield code="1">01</subfield><subfield code="x">0009</subfield><subfield code="b">375683350X</subfield><subfield code="k">Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Die Weitergabe an Dritte sowie systematisches Downloaden sind untersagt.</subfield><subfield code="u">BF_dG</subfield><subfield code="y">z</subfield><subfield code="z">17-09-20</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">72</subfield><subfield code="1">01</subfield><subfield code="x">0035</subfield><subfield code="b">4117550586</subfield><subfield code="h">OLR-DG-PDA11SSHE</subfield><subfield code="k">Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots.</subfield><subfield code="y">z</subfield><subfield code="z">13-04-22</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">90</subfield><subfield code="1">01</subfield><subfield code="x">3090</subfield><subfield code="b">3533820505</subfield><subfield code="h">OLR-HILdegruyter</subfield><subfield code="k">Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Die Weitergabe an Dritte sowie systematisches Downloaden sind untersagt.</subfield><subfield code="y">z</subfield><subfield code="z">01-11-19</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">95</subfield><subfield code="1">01</subfield><subfield code="x">3095</subfield><subfield code="b">3544340569</subfield><subfield code="h">OLR-DEGRUYTER</subfield><subfield code="k">Ausdruck und Kopien sind ausschließlich für den eigenen wissenschaftlichen Gebrauch gestattet</subfield><subfield code="y">z1</subfield><subfield code="z">21-11-19</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">110</subfield><subfield code="1">01</subfield><subfield code="x">3110</subfield><subfield code="b">3515470662</subfield><subfield code="h">OLR-DEGRUYTER-EBS-2018</subfield><subfield code="k">Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Die Weitergabe an Dritte sowie systematisches Downloaden sind untersagt.</subfield><subfield code="k">Volltextzugriff nur für berechtigte Personen über das Campusnetz</subfield><subfield code="y">z</subfield><subfield code="z">13-09-19</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">120</subfield><subfield code="1">01</subfield><subfield code="x">0715</subfield><subfield code="b">3569523454</subfield><subfield code="k">Campusweiter Zugriff (Universität Oldenburg). - Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots.</subfield><subfield code="y">z</subfield><subfield code="z">21-12-19</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">120</subfield><subfield code="1">02</subfield><subfield code="x">0715</subfield><subfield code="b">3582045862</subfield><subfield code="c">00</subfield><subfield code="f">--%%--</subfield><subfield code="d">--%%--</subfield><subfield code="e">g</subfield><subfield code="j">--%%--</subfield><subfield code="h">alma</subfield><subfield code="y">z</subfield><subfield code="z">24-01-20</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">122</subfield><subfield code="1">01</subfield><subfield code="x">0897</subfield><subfield code="b">3544733315</subfield><subfield code="h">OLR-deGruyter-EBS</subfield><subfield code="k">Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots</subfield><subfield code="y">z</subfield><subfield code="z">21-11-19</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">130</subfield><subfield code="1">01</subfield><subfield code="x">0700</subfield><subfield code="b">3986579613</subfield><subfield code="c">00</subfield><subfield code="f">--%%--</subfield><subfield code="d">--%%--</subfield><subfield code="e">s</subfield><subfield code="j">--%%--</subfield><subfield code="h">OLR-deGruyter-EBA-EBKALL</subfield><subfield code="k">Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Die Weitergabe an Dritte sowie systematisches Downloaden sind untersagt.</subfield><subfield code="y">z</subfield><subfield code="z">10-10-21</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">140</subfield><subfield code="1">01</subfield><subfield code="x">0839</subfield><subfield code="b">3568762811</subfield><subfield code="h">OLR-deGruyter-EBS</subfield><subfield code="k">Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots</subfield><subfield code="y">z</subfield><subfield code="z">20-12-19</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">147</subfield><subfield code="1">01</subfield><subfield code="x">3528</subfield><subfield code="b">3788727403</subfield><subfield code="h">OLR-EBS-DG</subfield><subfield code="k">Multiuser \| freigeschaltet für Europa-Universität Flensburg, Hochschule Flensburg und Zentrale Hochschulbibliothek</subfield><subfield code="k">Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Die Weitergabe an Dritte sowie systematisches Downloaden sind untersagt.</subfield><subfield code="y">z</subfield><subfield code="z">28-10-20</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">264</subfield><subfield code="1">01</subfield><subfield code="x">3264</subfield><subfield code="b">3571248104</subfield><subfield code="h">OLR-deGruyter-EBS</subfield><subfield code="k">Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots</subfield><subfield code="y">z</subfield><subfield code="z">02-01-20</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">370</subfield><subfield code="1">01</subfield><subfield code="x">4370</subfield><subfield code="b">4087170829</subfield><subfield code="h">EBS deGruyter</subfield><subfield code="k">Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots.</subfield><subfield code="u">i</subfield><subfield code="y">z</subfield><subfield code="z">10-03-22</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">736</subfield><subfield code="1">01</subfield><subfield code="x">4736</subfield><subfield code="b">4492868062</subfield><subfield code="h">DeGryuterEBS2024</subfield><subfield code="u">verv</subfield><subfield code="y">zeg</subfield><subfield code="z">28-02-24</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">2001</subfield><subfield code="1">01</subfield><subfield code="x">DE-21</subfield><subfield code="b">3937525173</subfield><subfield code="c">00</subfield><subfield code="f">--%%--</subfield><subfield code="d">--%%--</subfield><subfield code="e">--%%--</subfield><subfield code="j">kp</subfield><subfield code="y">l01</subfield><subfield code="z">12-06-21</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">2006</subfield><subfield code="1">01</subfield><subfield code="x">DE-14</subfield><subfield code="b">4433095958</subfield><subfield code="c">00</subfield><subfield code="f">--%%--</subfield><subfield code="d">--%%--</subfield><subfield code="e">--%%--</subfield><subfield code="j">--%%--</subfield><subfield code="y">l01</subfield><subfield code="z">12-12-23</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">2010</subfield><subfield code="1">01</subfield><subfield code="x">DE-15</subfield><subfield code="b">4433042935</subfield><subfield code="c">00</subfield><subfield code="f">--%%--</subfield><subfield code="d">--%%--</subfield><subfield code="e">--%%--</subfield><subfield code="j">n</subfield><subfield code="k">Elektronischer Volltext - Campuslizenz</subfield><subfield code="y">l01</subfield><subfield code="z">12-12-23</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">2020</subfield><subfield code="1">01</subfield><subfield code="x">DE-Ch1</subfield><subfield code="b">4439786413</subfield><subfield code="c">00</subfield><subfield code="f">--%%--</subfield><subfield code="d">--%%--</subfield><subfield code="e">--%%--</subfield><subfield code="j">n</subfield><subfield code="k">Campuslizenz</subfield><subfield code="y">l01</subfield><subfield code="z">17-12-23</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">2027</subfield><subfield code="1">01</subfield><subfield code="x">DE-105</subfield><subfield code="b">446232806X</subfield><subfield code="c">00</subfield><subfield code="f">--%%--</subfield><subfield code="d">--%%--</subfield><subfield code="e">--%%--</subfield><subfield code="j">n</subfield><subfield code="k">Campuslizenz</subfield><subfield code="y">l01</subfield><subfield code="z">18-01-24</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">2044</subfield><subfield code="1">01</subfield><subfield code="x">DE-751</subfield><subfield code="b">4587864137</subfield><subfield code="c">00</subfield><subfield code="f">--%%--</subfield><subfield code="d">eBook de Gruyter</subfield><subfield code="e">--%%--</subfield><subfield code="j">n</subfield><subfield code="k">Campuslizenz bis 30.09.2025. Bitte beachten Sie die Nutzungshinweise auf unserer Homepage (de Gruyter)</subfield><subfield code="y">l01</subfield><subfield code="z">06-10-24</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">2045</subfield><subfield code="1">01</subfield><subfield code="x">DE-Mit1</subfield><subfield code="b">4490796854</subfield><subfield code="c">00</subfield><subfield code="f">--%%--</subfield><subfield code="d">--%%--</subfield><subfield code="e">--%%--</subfield><subfield code="j">n</subfield><subfield code="k">Volltext - Campuslizenz</subfield><subfield code="y">l01</subfield><subfield code="z">25-02-24</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">2050</subfield><subfield code="1">01</subfield><subfield code="x">DE-Zi4</subfield><subfield code="b">4439786421</subfield><subfield code="c">00</subfield><subfield code="f">--%%--</subfield><subfield code="d">--%%--</subfield><subfield code="e">--%%--</subfield><subfield code="j">n</subfield><subfield code="k">Zugriff im HSZG-Campusnetz. Zugriff von auβerhalb nur für HSZG-Angehörige.</subfield><subfield code="y">l01</subfield><subfield code="z">17-12-23</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">2063</subfield><subfield code="1">01</subfield><subfield code="x">DE-951</subfield><subfield code="b">3823877437</subfield><subfield code="c">00</subfield><subfield code="f">--%%--</subfield><subfield code="d">eBook de Gruyter</subfield><subfield code="e">n</subfield><subfield code="j">n</subfield><subfield code="k">Elektronischer Volltext - Campuslizenz</subfield><subfield code="y">l01</subfield><subfield code="z">11-12-20</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">2088</subfield><subfield code="1">01</subfield><subfield code="x">DE-Frei3c</subfield><subfield code="b">3407365004</subfield><subfield code="c">00</subfield><subfield code="f">--%%--</subfield><subfield code="d">eBook Princeton UP</subfield><subfield code="e">p</subfield><subfield code="j">--%%--</subfield><subfield code="y">l01</subfield><subfield code="z">21-04-17</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">2118</subfield><subfield code="1">01</subfield><subfield code="x">DE-Mh35</subfield><subfield code="b">4443511733</subfield><subfield code="c">00</subfield><subfield code="f">--%%--</subfield><subfield code="d">eBook de Gruyter</subfield><subfield code="e">--%%--</subfield><subfield code="j">n</subfield><subfield code="k">Elektronischer Volltext - Campuslizenz</subfield><subfield code="y">l01</subfield><subfield code="z">23-12-23</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">21</subfield><subfield code="1">01</subfield><subfield code="x">0046</subfield><subfield code="r">https://doi.org/10.1515/9781400882007</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">22</subfield><subfield code="1">01</subfield><subfield code="x">0018</subfield><subfield code="y">Volltextzugang Campus</subfield><subfield code="r">https://doi.org/10.1515/9781400882007</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">22</subfield><subfield code="1">01</subfield><subfield code="x">0018</subfield><subfield code="y">Volltextzugang von außerhalb des Campus</subfield><subfield code="r">http://emedien.sub.uni-hamburg.de/han/degruyterebooks/doi.org/10.1515/9781400882007</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">23</subfield><subfield code="1">01</subfield><subfield code="x">0830</subfield><subfield code="y">E-books (deGruyter)</subfield><subfield code="r">https://doi.org/10.1515/9781400882007</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">24</subfield><subfield code="1">01</subfield><subfield code="x">0008</subfield><subfield code="r">https://doi.org/10.1515/9781400882007</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">31</subfield><subfield code="1">01</subfield><subfield code="x">0027</subfield><subfield code="r">https://doi.org/10.1515/9781400882007</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">34</subfield><subfield code="1">01</subfield><subfield code="x">3551</subfield><subfield code="r">https://doi.org/10.1515/9781400882007</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">65</subfield><subfield code="1">01</subfield><subfield code="x">0003</subfield><subfield code="r">https://doi.org/10.1515/9781400882007</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">69</subfield><subfield code="1">01</subfield><subfield code="x">0009</subfield><subfield code="r">https://doi.org/10.1515/9781400882007</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">72</subfield><subfield code="1">01</subfield><subfield code="x">0035</subfield><subfield code="r">http://hanproxy.gwlb.de/han/degruyter/doi.org/10.1515/9781400882007</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">90</subfield><subfield code="1">01</subfield><subfield code="x">3090</subfield><subfield code="r">https://doi.org/10.1515/9781400882007</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">95</subfield><subfield code="1">01</subfield><subfield code="x">3095</subfield><subfield code="r">http://dx.doi.org/10.1515/9781400882007</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">110</subfield><subfield code="1">01</subfield><subfield code="x">3110</subfield><subfield code="r">https://doi.org/10.1515/9781400882007</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">120</subfield><subfield code="1">01</subfield><subfield code="x">0715</subfield><subfield code="r">http://dx.doi.org/10.1515/9781400882007</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">120</subfield><subfield code="1">02</subfield><subfield code="x">0715</subfield><subfield code="r">http://49gbv-uob-primo.hosted.exlibrisgroup.com/openurl/49GBV_UOB/UOB_services_page?u.ignore_date_coverage=true&rft.mms_id=991014935609803501</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">122</subfield><subfield code="1">01</subfield><subfield code="x">0897</subfield><subfield code="r">http://dx.doi.org/10.1515/9781400882007</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">130</subfield><subfield code="1">01</subfield><subfield code="x">0700</subfield><subfield code="r">https://doi.org/10.1515/9781400882007</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">140</subfield><subfield code="1">01</subfield><subfield code="x">0839</subfield><subfield code="r">http://dx.doi.org/10.1515/9781400882007</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">147</subfield><subfield code="1">01</subfield><subfield code="x">3528</subfield><subfield code="r">https://doi.org/10.1515/9781400882007</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">264</subfield><subfield code="1">01</subfield><subfield code="x">3264</subfield><subfield code="r">http://dx.doi.org/10.1515/9781400882007</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">370</subfield><subfield code="1">01</subfield><subfield code="x">4370</subfield><subfield code="y">E-Book: Zugriff im HCU-Netz. Zugriff von außerhalb nur für HCU-Angehörige möglich</subfield><subfield code="r">https://doi.org/10.1515/9781400882007</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">736</subfield><subfield code="1">01</subfield><subfield code="x">4736</subfield><subfield code="r">https://doi.org/10.1515/9781400882007</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">2001</subfield><subfield code="1">01</subfield><subfield code="x">DE-21</subfield><subfield code="r">https://doi.org/10.1515/9781400882007</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">2006</subfield><subfield code="1">01</subfield><subfield code="x">DE-14</subfield><subfield code="r">https://www.degruyter.com/isbn/9781400882007</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">2010</subfield><subfield code="1">01</subfield><subfield code="x">DE-15</subfield><subfield code="y">Online-Zugriff</subfield><subfield code="r">https://www.degruyter.com/isbn/9781400882007</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">2020</subfield><subfield code="1">01</subfield><subfield code="x">DE-Ch1</subfield><subfield code="r">https://doi.org/10.1515/9781400882007</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">2044</subfield><subfield code="1">01</subfield><subfield code="x">DE-751</subfield><subfield code="r">https://doi.org/10.1515/9781400882007</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">2045</subfield><subfield code="1">01</subfield><subfield code="x">DE-Mit1</subfield><subfield code="r">https://doi.org/10.1515/9781400882007</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">2050</subfield><subfield code="1">01</subfield><subfield code="x">DE-Zi4</subfield><subfield code="r">https://doi.org/10.1515/9781400882007</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">2063</subfield><subfield code="1">01</subfield><subfield code="x">DE-951</subfield><subfield code="r">https://doi.org/10.1515/9781400882007</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">2088</subfield><subfield code="1">01</subfield><subfield code="x">DE-Frei3c</subfield><subfield code="r">https://www.degruyter.com/isbn/9781400882007</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">2118</subfield><subfield code="1">01</subfield><subfield code="x">DE-Mh35</subfield><subfield code="r">https://doi.org/10.1515/9781400882007</subfield></datafield><datafield tag="982" ind1=" " ind2=" "><subfield code="2">31</subfield><subfield code="1">01</subfield><subfield code="x">0027</subfield><subfield code="8">00</subfield><subfield code="a">E-Book DeGruyter</subfield></datafield><datafield tag="982" ind1=" " ind2=" "><subfield code="2">2001</subfield><subfield code="1">01</subfield><subfield code="x">DE-21</subfield><subfield code="8">00</subfield><subfield code="s">s</subfield><subfield code="a">eBook-DeGruyter-EBS-2021-2022</subfield></datafield><datafield tag="982" ind1=" " ind2=" "><subfield code="2">2027</subfield><subfield code="1">01</subfield><subfield code="x">DE-105</subfield><subfield code="8">00</subfield><subfield code="s">s</subfield><subfield code="a">ebook</subfield></datafield><datafield tag="982" ind1=" " ind2=" "><subfield code="2">2088</subfield><subfield code="1">01</subfield><subfield code="x">DE-Frei3c</subfield><subfield code="8">00</subfield><subfield code="s">s</subfield><subfield code="a">ebook</subfield></datafield><datafield tag="983" ind1=" " ind2=" "><subfield code="2">120</subfield><subfield code="1">00</subfield><subfield code="x">DE-715</subfield><subfield code="8">99</subfield><subfield code="a">ww</subfield></datafield><datafield tag="983" ind1=" " ind2=" "><subfield code="2">2063</subfield><subfield code="1">01</subfield><subfield code="x">DE-951</subfield><subfield code="8">00</subfield><subfield code="0">(DE-627)1384640894</subfield><subfield code="a">e-Book</subfield></datafield><datafield tag="983" ind1=" " ind2=" "><subfield code="2">2063</subfield><subfield code="1">01</subfield><subfield code="x">DE-951</subfield><subfield code="8">00</subfield><subfield code="0">(DE-627)1478403012</subfield><subfield code="a">e-Book De Gruyter</subfield></datafield><datafield tag="985" ind1=" " ind2=" "><subfield code="2">23</subfield><subfield code="1">01</subfield><subfield code="x">0830</subfield><subfield code="a">2018-01715, 2018-01716, 2018-01717, 2018-01718, 2018-01719</subfield></datafield><datafield tag="985" ind1=" " ind2=" "><subfield code="2">72</subfield><subfield code="1">01</subfield><subfield code="x">0035</subfield><subfield code="a">ebk1</subfield></datafield><datafield tag="995" ind1=" " ind2=" "><subfield code="2">21</subfield><subfield code="1">01</subfield><subfield code="x">0046</subfield><subfield code="a">ebook_2023_degruyter_ebs</subfield></datafield><datafield tag="995" ind1=" " ind2=" "><subfield code="2">21</subfield><subfield code="1">01</subfield><subfield code="x">0046</subfield><subfield code="a">ebm</subfield></datafield><datafield tag="995" ind1=" " ind2=" "><subfield code="2">22</subfield><subfield code="1">01</subfield><subfield code="x">0018</subfield><subfield code="a">SUBedegebs</subfield></datafield><datafield tag="995" ind1=" " ind2=" "><subfield code="2">23</subfield><subfield code="1">01</subfield><subfield code="x">0830</subfield><subfield code="a">olr-degruyter3</subfield></datafield><datafield tag="995" ind1=" " ind2=" "><subfield code="2">24</subfield><subfield code="1">01</subfield><subfield code="x">0008</subfield><subfield code="a">olr-dgebs</subfield></datafield><datafield tag="995" ind1=" " ind2=" "><subfield code="2">31</subfield><subfield code="1">01</subfield><subfield code="x">0027</subfield><subfield code="a">OLR-DeGruyterEBS</subfield></datafield><datafield tag="995" ind1=" " ind2=" "><subfield code="2">34</subfield><subfield code="1">01</subfield><subfield code="x">3551</subfield><subfield code="a">OLR-EBAKALL-EBS</subfield></datafield><datafield tag="995" ind1=" " ind2=" "><subfield code="2">65</subfield><subfield code="1">01</subfield><subfield code="x">0003</subfield><subfield code="a">DeGruyter-EBA</subfield></datafield><datafield tag="995" ind1=" " ind2=" "><subfield code="2">72</subfield><subfield code="1">01</subfield><subfield code="x">0035</subfield><subfield code="a">OLR-DG-PDA11SSHE</subfield></datafield><datafield tag="995" ind1=" " ind2=" "><subfield code="2">90</subfield><subfield code="1">01</subfield><subfield code="x">3090</subfield><subfield code="a">OLR-HILdegruyter</subfield></datafield><datafield tag="995" ind1=" " ind2=" "><subfield code="2">95</subfield><subfield code="1">01</subfield><subfield code="x">3095</subfield><subfield code="a">OLR-DEGRUYTER</subfield></datafield><datafield tag="995" ind1=" " ind2=" "><subfield code="2">110</subfield><subfield code="1">01</subfield><subfield code="x">3110</subfield><subfield code="a">OLR-DEGRUYTER-EBS-2018</subfield></datafield><datafield tag="995" ind1=" " ind2=" "><subfield code="2">120</subfield><subfield code="1">02</subfield><subfield code="x">0715</subfield><subfield code="a">alma</subfield></datafield><datafield tag="995" ind1=" " ind2=" "><subfield code="2">122</subfield><subfield code="1">01</subfield><subfield code="x">0897</subfield><subfield code="a">OLR-deGruyter-EBS</subfield></datafield><datafield tag="995" ind1=" " ind2=" "><subfield code="2">130</subfield><subfield code="1">01</subfield><subfield code="x">0700</subfield><subfield code="a">OLR-deGruyter-EBA-EBKALL</subfield></datafield><datafield tag="995" ind1=" " ind2=" "><subfield code="2">140</subfield><subfield code="1">01</subfield><subfield code="x">0839</subfield><subfield code="a">OLR-deGruyter-EBS</subfield></datafield><datafield tag="995" ind1=" " ind2=" "><subfield code="2">147</subfield><subfield code="1">01</subfield><subfield code="x">3528</subfield><subfield code="a">OLR-EBS-DG</subfield></datafield><datafield tag="995" ind1=" " ind2=" "><subfield code="2">264</subfield><subfield code="1">01</subfield><subfield code="x">3264</subfield><subfield code="a">OLR-deGruyter-EBS</subfield></datafield><datafield tag="995" ind1=" " ind2=" "><subfield code="2">370</subfield><subfield code="1">01</subfield><subfield code="x">4370</subfield><subfield code="a">EBS deGruyter</subfield></datafield><datafield tag="995" ind1=" " ind2=" "><subfield code="2">736</subfield><subfield code="1">01</subfield><subfield code="x">4736</subfield><subfield code="a">DeGryuterEBS2024</subfield></datafield></record></collection>
standort_str_mv	--%%--
callnumber-first	Q - Science
series2	Annals of Mathematics Studies
standort_iln_str_mv	22:--%%-- 0018:--%%-- 24:--%%-- 0008:--%%-- 120:--%%-- 0715:--%%-- 130:--%%-- 0700:--%%-- 2001:--%%-- DE-21:--%%-- 2006:--%%-- DE-14:--%%-- 2010:--%%-- DE-15:--%%-- 2020:--%%-- DE-Ch1:--%%-- 2027:--%%-- DE-105:--%%-- 2044:--%%-- DE-751:--%%-- 2045:--%%-- DE-Mit1:--%%-- 2050:--%%-- DE-Zi4:--%%-- 2063:--%%-- DE-951:--%%-- 2088:--%%-- DE-Frei3c:--%%-- 2118:--%%-- DE-Mh35:--%%--
author	Smullyan, Raymond M.
spellingShingle	Smullyan, Raymond M. misc QA248.5 rvk CC 2600 rvk SI 830 rvk SK 130 misc Recursive functions misc Logic, Symbolic and mathematical misc Mathematics misc Logic, Symbolic and mathematical. misc Mathematics. misc Recursive functions. misc SCIENCE / System Theory misc Addition misc Algebraic geometry misc Alonzo Church misc Arithmetic function misc Arithmetic misc Atomic sentence misc Axiom A misc Axiom schema misc Axiom misc Axiomatic system misc Binary relation misc Cantor's diagonal argument misc Cartesian product misc Characterization (mathematics) misc Chinese remainder theorem misc Closed-form expression misc Closure (mathematics) misc Combination misc Combinatory logic misc Complement (set theory) misc Concatenation theory misc Consistency misc Constructive proof misc Corollary misc Countable set misc Counterexample misc Decidability (logic) misc Decision problem misc Definable set misc Diagonalization gnd Rekursivität gnd Entscheidbarkeit 31 E-Book DeGruyter 2001 eBook-DeGruyter-EBS-2021-2022 2027 ebook 2088 ebook Theory of Formal Systems (AM-47) Annals of mathematics studies 47
authorStr	Smullyan, Raymond M.
ppnlink_with_tag_str_mv	@@776@@(DE-627)1619185490 @@830@@(DE-627)1023148277
format	eBook
delete_txt_mv	keep
author_role	aut
collection	KXP GVK SWB
publishPlace	Princeton, NJ
remote_str	true
abrufzeichen_iln_str_mv	21@ebook_2023_degruyter_ebs 21@ebm 22@SUBedegebs 23@olr-degruyter3 24@olr-dgebs 31@OLR-DeGruyterEBS 34@OLR-EBAKALL-EBS 65@DeGruyter-EBA 72@OLR-DG-PDA11SSHE 90@OLR-HILdegruyter 95@OLR-DEGRUYTER 110@OLR-DEGRUYTER-EBS-2018 120@alma 122@OLR-deGruyter-EBS 130@OLR-deGruyter-EBA-EBKALL 140@OLR-deGruyter-EBS 147@OLR-EBS-DG 264@OLR-deGruyter-EBS 370@EBS deGruyter 736@DeGryuterEBS2024
abrufzeichen_iln_scis_mv	21@ebook_2023_degruyter_ebs 21@ebm 22@SUBedegebs 23@olr-degruyter3 24@olr-dgebs 31@OLR-DeGruyterEBS 34@OLR-EBAKALL-EBS 65@DeGruyter-EBA 72@OLR-DG-PDA11SSHE 90@OLR-HILdegruyter 95@OLR-DEGRUYTER 110@OLR-DEGRUYTER-EBS-2018 120@alma 122@OLR-deGruyter-EBS 130@OLR-deGruyter-EBA-EBKALL 140@OLR-deGruyter-EBS 147@OLR-EBS-DG 264@OLR-deGruyter-EBS 370@EBS deGruyter 736@DeGryuterEBS2024
callnumber-label	QA248
last_changed_iln_str_mv	21@11-06-19 22@01-04-22 23@21-11-19 24@18-11-20 31@21-02-21 34@03-03-22 65@27-11-23 69@17-09-20 72@13-04-22 90@01-11-19 95@21-11-19 110@13-09-19 120@21-12-19 120@24-01-20 122@21-11-19 130@10-10-21 140@20-12-19 147@28-10-20 264@02-01-20 370@10-03-22 736@28-02-24 2001@12-06-21 2006@12-12-23 2010@12-12-23 2020@17-12-23 2027@18-01-24 2044@06-10-24 2045@25-02-24 2050@17-12-23 2063@11-12-20 2088@21-04-17 2118@23-12-23
illustrated	Not Illustrated
notation_local_iln_str_mv	120:ww DE-715:ww 2063:e-Book DE-951:e-Book 2063:e-Book De Gruyter DE-951:e-Book De Gruyter
topic_title	QA248.5 CC 2600 SEPA rvk (DE-625)rvk/17610 SI 830 SEPA rvk (DE-625)rvk/143195 SK 130 SEPA rvk (DE-625)rvk/143216 31 01 0027 00 E-Book DeGruyter 2001 01 DE-21 00 s eBook-DeGruyter-EBS-2021-2022 2027 01 DE-105 00 s ebook 2088 01 DE-Frei3c 00 s ebook Theory of Formal Systems (AM-47) Raymond M. Smullyan Annals of mathematics studies 47 47 (DE-627)1023148277 (DE-576)479798699 (DE-600)2930519-6 ns Recursive functions Logic, Symbolic and mathematical Mathematics SCIENCE / System Theory s (DE-588)4443996-9 (DE-627)225305542 (DE-576)212501194 Rekursivität gnd (DE-627) s (DE-588)4152398-2 (DE-627)105538523 (DE-576)209795204 Entscheidbarkeit gnd
publisher	Princeton University Press
publisherStr	Princeton University Press
topic	misc QA248.5 rvk CC 2600 rvk SI 830 rvk SK 130 misc Recursive functions misc Logic, Symbolic and mathematical misc Mathematics misc Logic, Symbolic and mathematical. misc Mathematics. misc Recursive functions. misc SCIENCE / System Theory misc Addition misc Algebraic geometry misc Alonzo Church misc Arithmetic function misc Arithmetic misc Atomic sentence misc Axiom A misc Axiom schema misc Axiom misc Axiomatic system misc Binary relation misc Cantor's diagonal argument misc Cartesian product misc Characterization (mathematics) misc Chinese remainder theorem misc Closed-form expression misc Closure (mathematics) misc Combination misc Combinatory logic misc Complement (set theory) misc Concatenation theory misc Consistency misc Constructive proof misc Corollary misc Countable set misc Counterexample misc Decidability (logic) misc Decision problem misc Definable set misc Diagonalization gnd Rekursivität gnd Entscheidbarkeit 31 E-Book DeGruyter 2001 eBook-DeGruyter-EBS-2021-2022 2027 ebook 2088 ebook
topic_unstemmed	misc QA248.5 rvk CC 2600 rvk SI 830 rvk SK 130 misc Recursive functions misc Logic, Symbolic and mathematical misc Mathematics misc Logic, Symbolic and mathematical. misc Mathematics. misc Recursive functions. misc SCIENCE / System Theory misc Addition misc Algebraic geometry misc Alonzo Church misc Arithmetic function misc Arithmetic misc Atomic sentence misc Axiom A misc Axiom schema misc Axiom misc Axiomatic system misc Binary relation misc Cantor's diagonal argument misc Cartesian product misc Characterization (mathematics) misc Chinese remainder theorem misc Closed-form expression misc Closure (mathematics) misc Combination misc Combinatory logic misc Complement (set theory) misc Concatenation theory misc Consistency misc Constructive proof misc Corollary misc Countable set misc Counterexample misc Decidability (logic) misc Decision problem misc Definable set misc Diagonalization gnd Rekursivität gnd Entscheidbarkeit 31 E-Book DeGruyter 2001 eBook-DeGruyter-EBS-2021-2022 2027 ebook 2088 ebook
topic_browse	misc QA248.5 rvk CC 2600 rvk SI 830 rvk SK 130 misc Recursive functions misc Logic, Symbolic and mathematical misc Mathematics misc Logic, Symbolic and mathematical. misc Mathematics. misc Recursive functions. misc SCIENCE / System Theory misc Addition misc Algebraic geometry misc Alonzo Church misc Arithmetic function misc Arithmetic misc Atomic sentence misc Axiom A misc Axiom schema misc Axiom misc Axiomatic system misc Binary relation misc Cantor's diagonal argument misc Cartesian product misc Characterization (mathematics) misc Chinese remainder theorem misc Closed-form expression misc Closure (mathematics) misc Combination misc Combinatory logic misc Complement (set theory) misc Concatenation theory misc Consistency misc Constructive proof misc Corollary misc Countable set misc Counterexample misc Decidability (logic) misc Decision problem misc Definable set misc Diagonalization gnd Rekursivität gnd Entscheidbarkeit 31 E-Book DeGruyter 2001 eBook-DeGruyter-EBS-2021-2022 2027 ebook 2088 ebook
format_facet	Elektronische Bücher Bücher Elektronische Ressource
standort_txtP_mv	--%%--
format_main_str_mv	Text Buch
carriertype_str_mv	cr
hierarchy_parent_title	Annals of mathematics studies
hierarchy_parent_id	1023148277
signature	--%%-- eBook de Gruyter eBook Princeton UP
signature_str_mv	--%%-- eBook de Gruyter eBook Princeton UP
isbn	9781400882007 1400882001 9780691080475 069108047X
hierarchy_top_title	Annals of mathematics studies
isfreeaccess_txt	false
familylinks_str_mv	(DE-627)1023148277 (DE-576)479798699 (DE-600)2930519-6
normlinkwithrole_str_mv	(DE-588)4443996-9@@689@@ (DE-588)4152398-2@@689@@
title	Theory of Formal Systems (AM-47)
ctrlnum	(DE-627)1659128854 (DE-576)478624964 (DE-599)BSZ478624964 (OCoLC)945632447 (EBP)005963656 (DE-B1597)467917
exemplarkommentar_str_mv	21@Freie Nutzung im <a href="http://nbn-resolving.de/urn:nbn:de:gbv:46-campusnetz9" Target="_blank">Campusnetz</a> der Universitaet und der Hochschulen im Lande Bremen 24@Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Die Weitergabe an Dritte sowie systematisches Downloaden sind untersagt. 24@Zugriff auf den Volltext nur für Universitätsangehörige innerhalb des Netzes der Universität Kiel (Campuslizenz). 31@Zugang zeitlich begrenzt. Dauerhaften Zugang über Formular für Anschaffungsvorschläge anfragen. 31@Vervielfältigungen (z.B. Kopien, Downloads) sind nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Die Weitergabe an Dritte sowie systematisches Downloaden sind untersagt. 34@Zugriff nur im Netz der HAW Hamburg 65@Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Die Weitergabe an Dritte sowie systematisches Downloaden sind untersagt. 69@Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Die Weitergabe an Dritte sowie systematisches Downloaden sind untersagt. 72@Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots. 90@Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Die Weitergabe an Dritte sowie systematisches Downloaden sind untersagt. 95@Ausdruck und Kopien sind ausschließlich für den eigenen wissenschaftlichen Gebrauch gestattet 110@Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Die Weitergabe an Dritte sowie systematisches Downloaden sind untersagt. 110@Volltextzugriff nur für berechtigte Personen über das Campusnetz 120@Campusweiter Zugriff (Universität Oldenburg). - Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots. 122@Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots 130@Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Die Weitergabe an Dritte sowie systematisches Downloaden sind untersagt. 140@Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots 147@Multiuser \| freigeschaltet für Europa-Universität Flensburg, Hochschule Flensburg und Zentrale Hochschulbibliothek 147@Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Die Weitergabe an Dritte sowie systematisches Downloaden sind untersagt. 264@Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots 370@Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots. 2010@Elektronischer Volltext - Campuslizenz 2020@Campuslizenz 2027@Campuslizenz 2044@Campuslizenz bis 30.09.2025. Bitte beachten Sie die Nutzungshinweise auf unserer Homepage (de Gruyter) 2045@Volltext - Campuslizenz 2050@Zugriff im HSZG-Campusnetz. Zugriff von auβerhalb nur für HSZG-Angehörige. 2063@Elektronischer Volltext - Campuslizenz 2118@Elektronischer Volltext - Campuslizenz
title_full	Theory of Formal Systems (AM-47) Raymond M. Smullyan
author_sort	Smullyan, Raymond M.
callnumber-first-code	Q
lang_code	eng
class_local	120 00 DE-715 99 ww 2063 01 DE-951 00 (DE-627)1384640894 e-Book 2063 01 DE-951 00 (DE-627)1478403012 e-Book De Gruyter
isOA_bool	false
recordtype	marc
publishDateSort	2016
contenttype_str_mv	txt
class_local_iln	120:ww DE-715:ww 2063:e-Book DE-951:e-Book 2063:e-Book De Gruyter DE-951:e-Book De Gruyter
author_browse	Smullyan, Raymond M.
selectkey	21:z 22:z 23:z 24:z 31:z 34:z 65:z 69:z 72:z 90:z 95:z 110:z 120:z 122:z 130:z 140:z 147:z 264:z 370:z 736:z 2001:l 2006:l 2010:l 2020:l 2027:l 2044:l 2045:l 2050:l 2063:l 2088:l 2118:l
physical	1 online resource
class	QA248.5 CC 2600 SEPA rvk (DE-625)rvk/17610 SI 830 SEPA rvk (DE-625)rvk/143195 SK 130 SEPA rvk (DE-625)rvk/143216 120 00 DE-715 99 ww 2063 01 DE-951 00 (DE-627)1384640894 e-Book 2063 01 DE-951 00 (DE-627)1478403012 e-Book De Gruyter
format_se	Elektronische Bücher
author-letter	Smullyan, Raymond M.
title_sub	(AM-47)
classname_local_iln_str_mv	120: DE-715: 2063: DE-951:
doi_str_mv	10.1515/9781400882007
normlink	RVK/17610: RVK/143195: RVK/143216: 4443996-9 225305542 212501194 4152398-2 105538523 209795204 1270638734 200638734 1271545853 201545853 1270918567 200918567 1384640894 1478403012
normlink_prefix_str_mv	(DE-625)rvk/17610: (DE-625)rvk/143195: (DE-625)rvk/143216: (DE-588)4443996-9 (DE-627)225305542 (DE-576)212501194 (DE-588)4152398-2 (DE-627)105538523 (DE-576)209795204 (DE-627)1270638734 (DE-576)200638734 (DE-627)1271545853 (DE-576)201545853 (DE-627)1270918567 (DE-576)200918567 (DE-627)1384640894 (DE-627)1478403012
title_sort	theory of formal systems(am-47)
callnumber	QA248.5
title_auth	Theory of Formal Systems (AM-47)
abstract	Frontmatter -- TABLE OF CONTENTS -- PREFACE -- ANNALS OF MATHEMATICS STUDIES -- CHAPTER I: FORMAL MATHEMATICAL SYSTEMS -- CHAPTER II: FORMAL REPRESENTABILITY AND RECURSIVE ENUMERABILITY -- CHAPTER III: INCOMPLETENESS -AND UNDECIDABILITY -- CHAPTER IV: RECURSIVE FUNCTION THEORY -- CHAPTER V: CREATIVITY AND EFFECTIVE INSEPARABILITY -- SUPPLEMENT: APPLICATIONS TO MATHEMATICAL LOGIC -- REFERENCE AND BRIEF BIBLIOGRAPHY This book serves both as a completely self-contained introduction and as an exposition of new results in the field of recursive function theory and its application to formal systems
abstractGer	Frontmatter -- TABLE OF CONTENTS -- PREFACE -- ANNALS OF MATHEMATICS STUDIES -- CHAPTER I: FORMAL MATHEMATICAL SYSTEMS -- CHAPTER II: FORMAL REPRESENTABILITY AND RECURSIVE ENUMERABILITY -- CHAPTER III: INCOMPLETENESS -AND UNDECIDABILITY -- CHAPTER IV: RECURSIVE FUNCTION THEORY -- CHAPTER V: CREATIVITY AND EFFECTIVE INSEPARABILITY -- SUPPLEMENT: APPLICATIONS TO MATHEMATICAL LOGIC -- REFERENCE AND BRIEF BIBLIOGRAPHY This book serves both as a completely self-contained introduction and as an exposition of new results in the field of recursive function theory and its application to formal systems
abstract_unstemmed	Frontmatter -- TABLE OF CONTENTS -- PREFACE -- ANNALS OF MATHEMATICS STUDIES -- CHAPTER I: FORMAL MATHEMATICAL SYSTEMS -- CHAPTER II: FORMAL REPRESENTABILITY AND RECURSIVE ENUMERABILITY -- CHAPTER III: INCOMPLETENESS -AND UNDECIDABILITY -- CHAPTER IV: RECURSIVE FUNCTION THEORY -- CHAPTER V: CREATIVITY AND EFFECTIVE INSEPARABILITY -- SUPPLEMENT: APPLICATIONS TO MATHEMATICAL LOGIC -- REFERENCE AND BRIEF BIBLIOGRAPHY This book serves both as a completely self-contained introduction and as an exposition of new results in the field of recursive function theory and its application to formal systems
collection_details	ZDB-23-PST EBA-BACKALL EBA-EBACKALL EBA-EBKALL EBA-EEBKALL EBA-ESSHALL EBA-ESTMALL EBA-PPALL EBA-SSHALL EBA-STMALL GBV-deGruyter-alles ZDB-23-DGG EBA-CL-MTPY EBA-ECL-MTPY ZDB-23-PMB GBV_ILN_21 ISIL_DE-46 SYSFLAG_1 GBV_KXP GBV_ILN_22 ISIL_DE-18 GBV_ILN_23 ISIL_DE-830 GBV_ILN_24 ISIL_DE-8 GBV_ILN_31 ISIL_DE-27 GBV_ILN_34 ISIL_DE-18-302 GBV_ILN_65 ISIL_DE-3 GBV_ILN_69 ISIL_DE-9 GBV_ILN_72 ISIL_DE-35 GBV_ILN_90 ISIL_DE-Hil2 GBV_ILN_95 ISIL_DE-542 GBV_ILN_110 ISIL_DE-Luen4 GBV_ILN_120 ISIL_DE-715 GBV_ILN_122 ISIL_DE-897 GBV_ILN_130 ISIL_DE-700 GBV_ILN_140 ISIL_DE-839 GBV_ILN_147 ISIL_DE-Fl3 GBV_ILN_264 ISIL_DE-897-1 GBV_ILN_370 ISIL_DE-1373 GBV_ILN_736 GBV_ILN_2001 ISIL_DE-21 GBV_ILN_2006 ISIL_DE-14 GBV_ILN_2010 ISIL_DE-15 GBV_ILN_2020 ISIL_DE-Ch1 GBV_ILN_2027 ISIL_DE-105 GBV_ILN_2044 ISIL_DE-751 GBV_ILN_2045 ISIL_DE-Mit1 GBV_ILN_2050 ISIL_DE-Zi4 GBV_ILN_2063 ISIL_DE-951 GBV_ILN_2088 ISIL_DE-Frei3c GBV_ILN_2118 ISIL_DE-Mh35
title_short	Theory of Formal Systems
url	http://dx.doi.org/10.1515/9781400882007 https://doi.org/10.1515/9781400882007 https://www.degruyter.com/isbn/9781400882007 https://www.degruyter.com/doc/cover/9781400882007.jpg https://www.degruyter.com/cover/covers/9781400882007.jpg https://www.degruyter.com/document/cover/isbn/9781400882007/original
ausleihindikator_str_mv	21 22:s 23 24:s 31 34 65 69 72 90 95 110 120 120:g 122 130:s 140 147 264 370 736 2001:- 2006:- 2010:- 2020:- 2027:- 2044:- 2045:- 2050:- 2063:n 2088:p 2118:-
rolewithnormlink_str_mv	@@689@@(DE-588)4443996-9 @@689@@(DE-588)4152398-2
remote_bool	true
ppnlink	1619185490 1023148277
callnumber-subject	QA - Mathematics
series	Annals of mathematics studies 47
seriesStr	Annals of mathematics studies 47
mediatype_str_mv	c
isOA_txt	false
hochschulschrift_bool	false
doi_str	10.1515/9781400882007
callnumber-a	QA248.5
up_date	2024-10-07T04:07:50.965Z
_version_	1812226712239341568
fullrecord_marcxml	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01000cam a2200265 4500</leader><controlfield tag="001">1659128854</controlfield><controlfield tag="003">DE-627</controlfield><controlfield tag="005">20241006180441.0</controlfield><controlfield tag="007">cr uuu---uuuuu</controlfield><controlfield tag="008">161024r20161961xx \|\|\|\|\|o 00\| \|\|eng c</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781400882007</subfield><subfield code="9">978-1-4008-8200-7</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1515/9781400882007</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-627)1659128854</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-576)478624964</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BSZ478624964</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)945632447</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(EBP)005963656</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-B1597)467917</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-627</subfield><subfield code="b">ger</subfield><subfield code="c">DE-627</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1=" " ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA248.5</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">SCI064000</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">CC 2600</subfield><subfield code="q">SEPA</subfield><subfield code="2">rvk</subfield><subfield code="0">(DE-625)rvk/17610:</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SI 830</subfield><subfield code="q">SEPA</subfield><subfield code="2">rvk</subfield><subfield code="0">(DE-625)rvk/143195:</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SK 130</subfield><subfield code="q">SEPA</subfield><subfield code="2">rvk</subfield><subfield code="0">(DE-625)rvk/143216:</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Smullyan, Raymond M.</subfield><subfield code="e">verfasserin</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Theory of Formal Systems</subfield><subfield code="b">(AM-47)</subfield><subfield code="c">Raymond M. Smullyan</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Princeton, NJ</subfield><subfield code="b">Princeton University Press</subfield><subfield code="c">2016</subfield></datafield><datafield tag="264" ind1=" " ind2="4"><subfield code="c">©1961</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="a">Text</subfield><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="a">Computermedien</subfield><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">Online-Ressource</subfield><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Annals of Mathematics Studies</subfield><subfield code="v">47</subfield></datafield><datafield tag="506" ind1="1" ind2=" "><subfield code="a">Restricted Access</subfield><subfield code="e">Controlled Vocabulary for Access Rights</subfield><subfield code="u">http://purl.org/coar/access_right/c_16ec</subfield><subfield code="f">online access with authorization</subfield><subfield code="2">star</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">Frontmatter -- TABLE OF CONTENTS -- PREFACE -- ANNALS OF MATHEMATICS STUDIES -- CHAPTER I: FORMAL MATHEMATICAL SYSTEMS -- CHAPTER II: FORMAL REPRESENTABILITY AND RECURSIVE ENUMERABILITY -- CHAPTER III: INCOMPLETENESS -AND UNDECIDABILITY -- CHAPTER IV: RECURSIVE FUNCTION THEORY -- CHAPTER V: CREATIVITY AND EFFECTIVE INSEPARABILITY -- SUPPLEMENT: APPLICATIONS TO MATHEMATICAL LOGIC -- REFERENCE AND BRIEF BIBLIOGRAPHY</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">This book serves both as a completely self-contained introduction and as an exposition of new results in the field of recursive function theory and its application to formal systems</subfield></datafield><datafield tag="534" ind1=" " ind2=" "><subfield code="c">1961</subfield></datafield><datafield tag="546" ind1=" " ind2=" "><subfield code="a">In English</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Recursive functions</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Logic, Symbolic and mathematical</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Mathematics</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic, Symbolic and mathematical.</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematics.</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Recursive functions.</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">SCIENCE / System Theory</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Addition</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Algebraic geometry</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Alonzo Church</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Arithmetic function</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Arithmetic</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Atomic sentence</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Axiom A</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Axiom schema</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Axiom</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Axiomatic system</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Binary relation</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Cantor's diagonal argument</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Cartesian product</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Characterization (mathematics)</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Chinese remainder theorem</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Closed-form expression</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Closure (mathematics)</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Combination</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Combinatory logic</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Complement (set theory)</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Concatenation theory</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Consistency</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Constructive proof</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Corollary</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Countable set</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Counterexample</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Decidability (logic)</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Decision problem</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Definable set</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Diagonalization</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="D">s</subfield><subfield code="0">(DE-588)4443996-9</subfield><subfield code="0">(DE-627)225305542</subfield><subfield code="0">(DE-576)212501194</subfield><subfield code="a">Rekursivität</subfield><subfield code="2">gnd</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">(DE-627)</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="D">s</subfield><subfield code="0">(DE-588)4152398-2</subfield><subfield code="0">(DE-627)105538523</subfield><subfield code="0">(DE-576)209795204</subfield><subfield code="a">Entscheidbarkeit</subfield><subfield code="2">gnd</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">(DE-627)</subfield></datafield><datafield tag="776" ind1="1" ind2=" "><subfield code="z">9780691080475</subfield><subfield code="c">: print</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">Smullyan, Raymond M., 1919 - 2017</subfield><subfield code="t">Theory of formal systems</subfield><subfield code="b">Rev. ed.</subfield><subfield code="d">Princeton, NJ : Princeton Univ. Press, 1961</subfield><subfield code="h">147 S.</subfield><subfield code="w">(DE-627)1619185490</subfield><subfield code="w">(DE-576)011191015</subfield><subfield code="z">069108047X</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Annals of mathematics studies</subfield><subfield code="v">47</subfield><subfield code="9">47</subfield><subfield code="w">(DE-627)1023148277</subfield><subfield code="w">(DE-576)479798699</subfield><subfield code="w">(DE-600)2930519-6</subfield><subfield code="7">ns</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">http://dx.doi.org/10.1515/9781400882007</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1515/9781400882007</subfield><subfield code="m">X:GRUY</subfield><subfield code="x">Resolving-System</subfield><subfield code="z">lizenzpflichtig</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://www.degruyter.com/isbn/9781400882007</subfield><subfield code="m">X:GRUY</subfield><subfield code="x">Verlag</subfield><subfield code="z">lizenzpflichtig</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="u">https://www.degruyter.com/doc/cover/9781400882007.jpg</subfield><subfield code="m">X:GRUY</subfield><subfield code="3">Cover</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="u">https://www.degruyter.com/cover/covers/9781400882007.jpg</subfield><subfield code="m">X:GRUY</subfield><subfield code="x">Verlag</subfield><subfield code="3">Cover</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="u">https://www.degruyter.com/document/cover/isbn/9781400882007/original</subfield><subfield code="m">X:GRUY</subfield><subfield code="x">Verlag</subfield><subfield code="3">Cover</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-23-PST</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">EBA-BACKALL</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">EBA-EBACKALL</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">EBA-EBKALL</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">EBA-EEBKALL</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">EBA-ESSHALL</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">EBA-ESTMALL</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">EBA-PPALL</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">EBA-SSHALL</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">EBA-STMALL</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV-deGruyter-alles</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-23-DGG</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">EBA-CL-MTPY</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">EBA-ECL-MTPY</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-23-PMB</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_21</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-46</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">SYSFLAG_1</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_KXP</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_22</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-18</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_23</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-830</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_24</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-8</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_31</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-27</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_34</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-18-302</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_65</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-3</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_69</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-9</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_72</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-35</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_90</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-Hil2</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_95</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-542</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_110</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-Luen4</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_120</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-715</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_122</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-897</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_130</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-700</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_140</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-839</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_147</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-Fl3</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_264</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-897-1</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_370</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-1373</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_736</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2001</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-21</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2006</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-14</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2010</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-15</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2020</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-Ch1</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2027</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-105</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2044</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-751</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2045</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-Mit1</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2050</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-Zi4</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2063</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-951</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2088</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-Frei3c</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2118</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-Mh35</subfield></datafield><datafield tag="936" ind1="r" ind2="v"><subfield code="a">CC 2600</subfield><subfield code="b">Abhandlungen zur Logik und mathematischen Grundlagenforschung</subfield><subfield code="k">Philosophie</subfield><subfield code="k">Systematische Philosophie</subfield><subfield code="k">Logik</subfield><subfield code="k">Abhandlungen zur Logik und mathematischen Grundlagenforschung</subfield><subfield code="0">(DE-627)1270638734</subfield><subfield code="0">(DE-625)rvk/17610:</subfield><subfield code="0">(DE-576)200638734</subfield></datafield><datafield tag="936" ind1="r" ind2="v"><subfield code="a">SI 830</subfield><subfield code="b">Annals of mathematics studies. Hrsg. v. Princeton University</subfield><subfield code="k">Mathematik</subfield><subfield code="k">Schriftenreihen</subfield><subfield code="k">Schriftenreihen in der alphabetischen Ordnung nach Verfassern</subfield><subfield code="k">Annals of mathematics studies. Hrsg. v. Princeton University</subfield><subfield code="0">(DE-627)1271545853</subfield><subfield code="0">(DE-625)rvk/143195:</subfield><subfield code="0">(DE-576)201545853</subfield></datafield><datafield tag="936" ind1="r" ind2="v"><subfield code="a">SK 130</subfield><subfield code="b">Logik und Grundlagen, Metamathematik,</subfield><subfield code="k">Mathematik</subfield><subfield code="k">Monografien</subfield><subfield code="k">Logik und Grundlagen, Metamathematik,</subfield><subfield code="0">(DE-627)1270918567</subfield><subfield code="0">(DE-625)rvk/143216:</subfield><subfield code="0">(DE-576)200918567</subfield></datafield><datafield tag="951" ind1=" " ind2=" "><subfield code="a">BO</subfield></datafield><datafield tag="953" ind1=" " ind2=" "><subfield code="2">045F</subfield><subfield code="a">511.33</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">21</subfield><subfield code="1">01</subfield><subfield code="x">0046</subfield><subfield code="b">3485332585</subfield><subfield code="h">ebook_2023_degruyter_ebs</subfield><subfield code="k">Freie Nutzung im <a href="http://nbn-resolving.de/urn:nbn:de:gbv:46-campusnetz9" Target="_blank">Campusnetz</a> der Universitaet und der Hochschulen im Lande Bremen</subfield><subfield code="y">zza</subfield><subfield code="z">11-06-19</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">22</subfield><subfield code="1">01</subfield><subfield code="x">0018</subfield><subfield code="b">4108977157</subfield><subfield code="c">00</subfield><subfield code="f">--%%--</subfield><subfield code="d">--%%--</subfield><subfield code="e">s</subfield><subfield code="j">--%%--</subfield><subfield code="h">SUBedegebs</subfield><subfield code="y">zu</subfield><subfield code="z">01-04-22</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">23</subfield><subfield code="1">01</subfield><subfield code="x">0830</subfield><subfield code="b">354524881X</subfield><subfield code="h">olr-degruyter3</subfield><subfield code="u">i</subfield><subfield code="y">z</subfield><subfield code="z">21-11-19</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">24</subfield><subfield code="1">01</subfield><subfield code="x">0008</subfield><subfield code="b">3806293678</subfield><subfield code="c">00</subfield><subfield code="f">--%%--</subfield><subfield code="d">--%%--</subfield><subfield code="e">s</subfield><subfield code="j">--%%--</subfield><subfield code="h">olr-dgebs</subfield><subfield code="k">Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Die Weitergabe an Dritte sowie systematisches Downloaden sind untersagt.</subfield><subfield code="k">Zugriff auf den Volltext nur für Universitätsangehörige innerhalb des Netzes der Universität Kiel (Campuslizenz).</subfield><subfield code="y">z</subfield><subfield code="z">18-11-20</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">31</subfield><subfield code="1">01</subfield><subfield code="x">0027</subfield><subfield code="b">3869022353</subfield><subfield code="h">OLR-DeGruyterEBS</subfield><subfield code="k">Zugang zeitlich begrenzt. Dauerhaften Zugang über Formular für Anschaffungsvorschläge anfragen.</subfield><subfield code="k">Vervielfältigungen (z.B. Kopien, Downloads) sind nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Die Weitergabe an Dritte sowie systematisches Downloaden sind untersagt.</subfield><subfield code="y">z</subfield><subfield code="z">21-02-21</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">34</subfield><subfield code="1">01</subfield><subfield code="x">3551</subfield><subfield code="b">4078421164</subfield><subfield code="h">OLR-EBAKALL-EBS</subfield><subfield code="k">Zugriff nur im Netz der HAW Hamburg</subfield><subfield code="y">z</subfield><subfield code="z">03-03-22</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">65</subfield><subfield code="1">01</subfield><subfield code="x">0003</subfield><subfield code="b">4418927832</subfield><subfield code="h">DeGruyter-EBA</subfield><subfield code="k">Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Die Weitergabe an Dritte sowie systematisches Downloaden sind untersagt.</subfield><subfield code="y">z</subfield><subfield code="z">27-11-23</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">69</subfield><subfield code="1">01</subfield><subfield code="x">0009</subfield><subfield code="b">375683350X</subfield><subfield code="k">Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Die Weitergabe an Dritte sowie systematisches Downloaden sind untersagt.</subfield><subfield code="u">BF_dG</subfield><subfield code="y">z</subfield><subfield code="z">17-09-20</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">72</subfield><subfield code="1">01</subfield><subfield code="x">0035</subfield><subfield code="b">4117550586</subfield><subfield code="h">OLR-DG-PDA11SSHE</subfield><subfield code="k">Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots.</subfield><subfield code="y">z</subfield><subfield code="z">13-04-22</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">90</subfield><subfield code="1">01</subfield><subfield code="x">3090</subfield><subfield code="b">3533820505</subfield><subfield code="h">OLR-HILdegruyter</subfield><subfield code="k">Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Die Weitergabe an Dritte sowie systematisches Downloaden sind untersagt.</subfield><subfield code="y">z</subfield><subfield code="z">01-11-19</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">95</subfield><subfield code="1">01</subfield><subfield code="x">3095</subfield><subfield code="b">3544340569</subfield><subfield code="h">OLR-DEGRUYTER</subfield><subfield code="k">Ausdruck und Kopien sind ausschließlich für den eigenen wissenschaftlichen Gebrauch gestattet</subfield><subfield code="y">z1</subfield><subfield code="z">21-11-19</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">110</subfield><subfield code="1">01</subfield><subfield code="x">3110</subfield><subfield code="b">3515470662</subfield><subfield code="h">OLR-DEGRUYTER-EBS-2018</subfield><subfield code="k">Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Die Weitergabe an Dritte sowie systematisches Downloaden sind untersagt.</subfield><subfield code="k">Volltextzugriff nur für berechtigte Personen über das Campusnetz</subfield><subfield code="y">z</subfield><subfield code="z">13-09-19</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">120</subfield><subfield code="1">01</subfield><subfield code="x">0715</subfield><subfield code="b">3569523454</subfield><subfield code="k">Campusweiter Zugriff (Universität Oldenburg). - Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots.</subfield><subfield code="y">z</subfield><subfield code="z">21-12-19</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">120</subfield><subfield code="1">02</subfield><subfield code="x">0715</subfield><subfield code="b">3582045862</subfield><subfield code="c">00</subfield><subfield code="f">--%%--</subfield><subfield code="d">--%%--</subfield><subfield code="e">g</subfield><subfield code="j">--%%--</subfield><subfield code="h">alma</subfield><subfield code="y">z</subfield><subfield code="z">24-01-20</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">122</subfield><subfield code="1">01</subfield><subfield code="x">0897</subfield><subfield code="b">3544733315</subfield><subfield code="h">OLR-deGruyter-EBS</subfield><subfield code="k">Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots</subfield><subfield code="y">z</subfield><subfield code="z">21-11-19</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">130</subfield><subfield code="1">01</subfield><subfield code="x">0700</subfield><subfield code="b">3986579613</subfield><subfield code="c">00</subfield><subfield code="f">--%%--</subfield><subfield code="d">--%%--</subfield><subfield code="e">s</subfield><subfield code="j">--%%--</subfield><subfield code="h">OLR-deGruyter-EBA-EBKALL</subfield><subfield code="k">Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Die Weitergabe an Dritte sowie systematisches Downloaden sind untersagt.</subfield><subfield code="y">z</subfield><subfield code="z">10-10-21</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">140</subfield><subfield code="1">01</subfield><subfield code="x">0839</subfield><subfield code="b">3568762811</subfield><subfield code="h">OLR-deGruyter-EBS</subfield><subfield code="k">Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots</subfield><subfield code="y">z</subfield><subfield code="z">20-12-19</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">147</subfield><subfield code="1">01</subfield><subfield code="x">3528</subfield><subfield code="b">3788727403</subfield><subfield code="h">OLR-EBS-DG</subfield><subfield code="k">Multiuser \| freigeschaltet für Europa-Universität Flensburg, Hochschule Flensburg und Zentrale Hochschulbibliothek</subfield><subfield code="k">Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Die Weitergabe an Dritte sowie systematisches Downloaden sind untersagt.</subfield><subfield code="y">z</subfield><subfield code="z">28-10-20</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">264</subfield><subfield code="1">01</subfield><subfield code="x">3264</subfield><subfield code="b">3571248104</subfield><subfield code="h">OLR-deGruyter-EBS</subfield><subfield code="k">Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots</subfield><subfield code="y">z</subfield><subfield code="z">02-01-20</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">370</subfield><subfield code="1">01</subfield><subfield code="x">4370</subfield><subfield code="b">4087170829</subfield><subfield code="h">EBS deGruyter</subfield><subfield code="k">Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots.</subfield><subfield code="u">i</subfield><subfield code="y">z</subfield><subfield code="z">10-03-22</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">736</subfield><subfield code="1">01</subfield><subfield code="x">4736</subfield><subfield code="b">4492868062</subfield><subfield code="h">DeGryuterEBS2024</subfield><subfield code="u">verv</subfield><subfield code="y">zeg</subfield><subfield code="z">28-02-24</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">2001</subfield><subfield code="1">01</subfield><subfield code="x">DE-21</subfield><subfield code="b">3937525173</subfield><subfield code="c">00</subfield><subfield code="f">--%%--</subfield><subfield code="d">--%%--</subfield><subfield code="e">--%%--</subfield><subfield code="j">kp</subfield><subfield code="y">l01</subfield><subfield code="z">12-06-21</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">2006</subfield><subfield code="1">01</subfield><subfield code="x">DE-14</subfield><subfield code="b">4433095958</subfield><subfield code="c">00</subfield><subfield code="f">--%%--</subfield><subfield code="d">--%%--</subfield><subfield code="e">--%%--</subfield><subfield code="j">--%%--</subfield><subfield code="y">l01</subfield><subfield code="z">12-12-23</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">2010</subfield><subfield code="1">01</subfield><subfield code="x">DE-15</subfield><subfield code="b">4433042935</subfield><subfield code="c">00</subfield><subfield code="f">--%%--</subfield><subfield code="d">--%%--</subfield><subfield code="e">--%%--</subfield><subfield code="j">n</subfield><subfield code="k">Elektronischer Volltext - Campuslizenz</subfield><subfield code="y">l01</subfield><subfield code="z">12-12-23</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">2020</subfield><subfield code="1">01</subfield><subfield code="x">DE-Ch1</subfield><subfield code="b">4439786413</subfield><subfield code="c">00</subfield><subfield code="f">--%%--</subfield><subfield code="d">--%%--</subfield><subfield code="e">--%%--</subfield><subfield code="j">n</subfield><subfield code="k">Campuslizenz</subfield><subfield code="y">l01</subfield><subfield code="z">17-12-23</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">2027</subfield><subfield code="1">01</subfield><subfield code="x">DE-105</subfield><subfield code="b">446232806X</subfield><subfield code="c">00</subfield><subfield code="f">--%%--</subfield><subfield code="d">--%%--</subfield><subfield code="e">--%%--</subfield><subfield code="j">n</subfield><subfield code="k">Campuslizenz</subfield><subfield code="y">l01</subfield><subfield code="z">18-01-24</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">2044</subfield><subfield code="1">01</subfield><subfield code="x">DE-751</subfield><subfield code="b">4587864137</subfield><subfield code="c">00</subfield><subfield code="f">--%%--</subfield><subfield code="d">eBook de Gruyter</subfield><subfield code="e">--%%--</subfield><subfield code="j">n</subfield><subfield code="k">Campuslizenz bis 30.09.2025. Bitte beachten Sie die Nutzungshinweise auf unserer Homepage (de Gruyter)</subfield><subfield code="y">l01</subfield><subfield code="z">06-10-24</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">2045</subfield><subfield code="1">01</subfield><subfield code="x">DE-Mit1</subfield><subfield code="b">4490796854</subfield><subfield code="c">00</subfield><subfield code="f">--%%--</subfield><subfield code="d">--%%--</subfield><subfield code="e">--%%--</subfield><subfield code="j">n</subfield><subfield code="k">Volltext - Campuslizenz</subfield><subfield code="y">l01</subfield><subfield code="z">25-02-24</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">2050</subfield><subfield code="1">01</subfield><subfield code="x">DE-Zi4</subfield><subfield code="b">4439786421</subfield><subfield code="c">00</subfield><subfield code="f">--%%--</subfield><subfield code="d">--%%--</subfield><subfield code="e">--%%--</subfield><subfield code="j">n</subfield><subfield code="k">Zugriff im HSZG-Campusnetz. Zugriff von auβerhalb nur für HSZG-Angehörige.</subfield><subfield code="y">l01</subfield><subfield code="z">17-12-23</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">2063</subfield><subfield code="1">01</subfield><subfield code="x">DE-951</subfield><subfield code="b">3823877437</subfield><subfield code="c">00</subfield><subfield code="f">--%%--</subfield><subfield code="d">eBook de Gruyter</subfield><subfield code="e">n</subfield><subfield code="j">n</subfield><subfield code="k">Elektronischer Volltext - Campuslizenz</subfield><subfield code="y">l01</subfield><subfield code="z">11-12-20</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">2088</subfield><subfield code="1">01</subfield><subfield code="x">DE-Frei3c</subfield><subfield code="b">3407365004</subfield><subfield code="c">00</subfield><subfield code="f">--%%--</subfield><subfield code="d">eBook Princeton UP</subfield><subfield code="e">p</subfield><subfield code="j">--%%--</subfield><subfield code="y">l01</subfield><subfield code="z">21-04-17</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">2118</subfield><subfield code="1">01</subfield><subfield code="x">DE-Mh35</subfield><subfield code="b">4443511733</subfield><subfield code="c">00</subfield><subfield code="f">--%%--</subfield><subfield code="d">eBook de Gruyter</subfield><subfield code="e">--%%--</subfield><subfield code="j">n</subfield><subfield code="k">Elektronischer Volltext - Campuslizenz</subfield><subfield code="y">l01</subfield><subfield code="z">23-12-23</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">21</subfield><subfield code="1">01</subfield><subfield code="x">0046</subfield><subfield code="r">https://doi.org/10.1515/9781400882007</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">22</subfield><subfield code="1">01</subfield><subfield code="x">0018</subfield><subfield code="y">Volltextzugang Campus</subfield><subfield code="r">https://doi.org/10.1515/9781400882007</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">22</subfield><subfield code="1">01</subfield><subfield code="x">0018</subfield><subfield code="y">Volltextzugang von außerhalb des Campus</subfield><subfield code="r">http://emedien.sub.uni-hamburg.de/han/degruyterebooks/doi.org/10.1515/9781400882007</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">23</subfield><subfield code="1">01</subfield><subfield code="x">0830</subfield><subfield code="y">E-books (deGruyter)</subfield><subfield code="r">https://doi.org/10.1515/9781400882007</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">24</subfield><subfield code="1">01</subfield><subfield code="x">0008</subfield><subfield code="r">https://doi.org/10.1515/9781400882007</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">31</subfield><subfield code="1">01</subfield><subfield code="x">0027</subfield><subfield code="r">https://doi.org/10.1515/9781400882007</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">34</subfield><subfield code="1">01</subfield><subfield code="x">3551</subfield><subfield code="r">https://doi.org/10.1515/9781400882007</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">65</subfield><subfield code="1">01</subfield><subfield code="x">0003</subfield><subfield code="r">https://doi.org/10.1515/9781400882007</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">69</subfield><subfield code="1">01</subfield><subfield code="x">0009</subfield><subfield code="r">https://doi.org/10.1515/9781400882007</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">72</subfield><subfield code="1">01</subfield><subfield code="x">0035</subfield><subfield code="r">http://hanproxy.gwlb.de/han/degruyter/doi.org/10.1515/9781400882007</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">90</subfield><subfield code="1">01</subfield><subfield code="x">3090</subfield><subfield code="r">https://doi.org/10.1515/9781400882007</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">95</subfield><subfield code="1">01</subfield><subfield code="x">3095</subfield><subfield code="r">http://dx.doi.org/10.1515/9781400882007</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">110</subfield><subfield code="1">01</subfield><subfield code="x">3110</subfield><subfield code="r">https://doi.org/10.1515/9781400882007</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">120</subfield><subfield code="1">01</subfield><subfield code="x">0715</subfield><subfield code="r">http://dx.doi.org/10.1515/9781400882007</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">120</subfield><subfield code="1">02</subfield><subfield code="x">0715</subfield><subfield code="r">http://49gbv-uob-primo.hosted.exlibrisgroup.com/openurl/49GBV_UOB/UOB_services_page?u.ignore_date_coverage=true&rft.mms_id=991014935609803501</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">122</subfield><subfield code="1">01</subfield><subfield code="x">0897</subfield><subfield code="r">http://dx.doi.org/10.1515/9781400882007</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">130</subfield><subfield code="1">01</subfield><subfield code="x">0700</subfield><subfield code="r">https://doi.org/10.1515/9781400882007</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">140</subfield><subfield code="1">01</subfield><subfield code="x">0839</subfield><subfield code="r">http://dx.doi.org/10.1515/9781400882007</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">147</subfield><subfield code="1">01</subfield><subfield code="x">3528</subfield><subfield code="r">https://doi.org/10.1515/9781400882007</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">264</subfield><subfield code="1">01</subfield><subfield code="x">3264</subfield><subfield code="r">http://dx.doi.org/10.1515/9781400882007</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">370</subfield><subfield code="1">01</subfield><subfield code="x">4370</subfield><subfield code="y">E-Book: Zugriff im HCU-Netz. Zugriff von außerhalb nur für HCU-Angehörige möglich</subfield><subfield code="r">https://doi.org/10.1515/9781400882007</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">736</subfield><subfield code="1">01</subfield><subfield code="x">4736</subfield><subfield code="r">https://doi.org/10.1515/9781400882007</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">2001</subfield><subfield code="1">01</subfield><subfield code="x">DE-21</subfield><subfield code="r">https://doi.org/10.1515/9781400882007</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">2006</subfield><subfield code="1">01</subfield><subfield code="x">DE-14</subfield><subfield code="r">https://www.degruyter.com/isbn/9781400882007</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">2010</subfield><subfield code="1">01</subfield><subfield code="x">DE-15</subfield><subfield code="y">Online-Zugriff</subfield><subfield code="r">https://www.degruyter.com/isbn/9781400882007</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">2020</subfield><subfield code="1">01</subfield><subfield code="x">DE-Ch1</subfield><subfield code="r">https://doi.org/10.1515/9781400882007</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">2044</subfield><subfield code="1">01</subfield><subfield code="x">DE-751</subfield><subfield code="r">https://doi.org/10.1515/9781400882007</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">2045</subfield><subfield code="1">01</subfield><subfield code="x">DE-Mit1</subfield><subfield code="r">https://doi.org/10.1515/9781400882007</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">2050</subfield><subfield code="1">01</subfield><subfield code="x">DE-Zi4</subfield><subfield code="r">https://doi.org/10.1515/9781400882007</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">2063</subfield><subfield code="1">01</subfield><subfield code="x">DE-951</subfield><subfield code="r">https://doi.org/10.1515/9781400882007</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">2088</subfield><subfield code="1">01</subfield><subfield code="x">DE-Frei3c</subfield><subfield code="r">https://www.degruyter.com/isbn/9781400882007</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">2118</subfield><subfield code="1">01</subfield><subfield code="x">DE-Mh35</subfield><subfield code="r">https://doi.org/10.1515/9781400882007</subfield></datafield><datafield tag="982" ind1=" " ind2=" "><subfield code="2">31</subfield><subfield code="1">01</subfield><subfield code="x">0027</subfield><subfield code="8">00</subfield><subfield code="a">E-Book DeGruyter</subfield></datafield><datafield tag="982" ind1=" " ind2=" "><subfield code="2">2001</subfield><subfield code="1">01</subfield><subfield code="x">DE-21</subfield><subfield code="8">00</subfield><subfield code="s">s</subfield><subfield code="a">eBook-DeGruyter-EBS-2021-2022</subfield></datafield><datafield tag="982" ind1=" " ind2=" "><subfield code="2">2027</subfield><subfield code="1">01</subfield><subfield code="x">DE-105</subfield><subfield code="8">00</subfield><subfield code="s">s</subfield><subfield code="a">ebook</subfield></datafield><datafield tag="982" ind1=" " ind2=" "><subfield code="2">2088</subfield><subfield code="1">01</subfield><subfield code="x">DE-Frei3c</subfield><subfield code="8">00</subfield><subfield code="s">s</subfield><subfield code="a">ebook</subfield></datafield><datafield tag="983" ind1=" " ind2=" "><subfield code="2">120</subfield><subfield code="1">00</subfield><subfield code="x">DE-715</subfield><subfield code="8">99</subfield><subfield code="a">ww</subfield></datafield><datafield tag="983" ind1=" " ind2=" "><subfield code="2">2063</subfield><subfield code="1">01</subfield><subfield code="x">DE-951</subfield><subfield code="8">00</subfield><subfield code="0">(DE-627)1384640894</subfield><subfield code="a">e-Book</subfield></datafield><datafield tag="983" ind1=" " ind2=" "><subfield code="2">2063</subfield><subfield code="1">01</subfield><subfield code="x">DE-951</subfield><subfield code="8">00</subfield><subfield code="0">(DE-627)1478403012</subfield><subfield code="a">e-Book De Gruyter</subfield></datafield><datafield tag="985" ind1=" " ind2=" "><subfield code="2">23</subfield><subfield code="1">01</subfield><subfield code="x">0830</subfield><subfield code="a">2018-01715, 2018-01716, 2018-01717, 2018-01718, 2018-01719</subfield></datafield><datafield tag="985" ind1=" " ind2=" "><subfield code="2">72</subfield><subfield code="1">01</subfield><subfield code="x">0035</subfield><subfield code="a">ebk1</subfield></datafield><datafield tag="995" ind1=" " ind2=" "><subfield code="2">21</subfield><subfield code="1">01</subfield><subfield code="x">0046</subfield><subfield code="a">ebook_2023_degruyter_ebs</subfield></datafield><datafield tag="995" ind1=" " ind2=" "><subfield code="2">21</subfield><subfield code="1">01</subfield><subfield code="x">0046</subfield><subfield code="a">ebm</subfield></datafield><datafield tag="995" ind1=" " ind2=" "><subfield code="2">22</subfield><subfield code="1">01</subfield><subfield code="x">0018</subfield><subfield code="a">SUBedegebs</subfield></datafield><datafield tag="995" ind1=" " ind2=" "><subfield code="2">23</subfield><subfield code="1">01</subfield><subfield code="x">0830</subfield><subfield code="a">olr-degruyter3</subfield></datafield><datafield tag="995" ind1=" " ind2=" "><subfield code="2">24</subfield><subfield code="1">01</subfield><subfield code="x">0008</subfield><subfield code="a">olr-dgebs</subfield></datafield><datafield tag="995" ind1=" " ind2=" "><subfield code="2">31</subfield><subfield code="1">01</subfield><subfield code="x">0027</subfield><subfield code="a">OLR-DeGruyterEBS</subfield></datafield><datafield tag="995" ind1=" " ind2=" "><subfield code="2">34</subfield><subfield code="1">01</subfield><subfield code="x">3551</subfield><subfield code="a">OLR-EBAKALL-EBS</subfield></datafield><datafield tag="995" ind1=" " ind2=" "><subfield code="2">65</subfield><subfield code="1">01</subfield><subfield code="x">0003</subfield><subfield code="a">DeGruyter-EBA</subfield></datafield><datafield tag="995" ind1=" " ind2=" "><subfield code="2">72</subfield><subfield code="1">01</subfield><subfield code="x">0035</subfield><subfield code="a">OLR-DG-PDA11SSHE</subfield></datafield><datafield tag="995" ind1=" " ind2=" "><subfield code="2">90</subfield><subfield code="1">01</subfield><subfield code="x">3090</subfield><subfield code="a">OLR-HILdegruyter</subfield></datafield><datafield tag="995" ind1=" " ind2=" "><subfield code="2">95</subfield><subfield code="1">01</subfield><subfield code="x">3095</subfield><subfield code="a">OLR-DEGRUYTER</subfield></datafield><datafield tag="995" ind1=" " ind2=" "><subfield code="2">110</subfield><subfield code="1">01</subfield><subfield code="x">3110</subfield><subfield code="a">OLR-DEGRUYTER-EBS-2018</subfield></datafield><datafield tag="995" ind1=" " ind2=" "><subfield code="2">120</subfield><subfield code="1">02</subfield><subfield code="x">0715</subfield><subfield code="a">alma</subfield></datafield><datafield tag="995" ind1=" " ind2=" "><subfield code="2">122</subfield><subfield code="1">01</subfield><subfield code="x">0897</subfield><subfield code="a">OLR-deGruyter-EBS</subfield></datafield><datafield tag="995" ind1=" " ind2=" "><subfield code="2">130</subfield><subfield code="1">01</subfield><subfield code="x">0700</subfield><subfield code="a">OLR-deGruyter-EBA-EBKALL</subfield></datafield><datafield tag="995" ind1=" " ind2=" "><subfield code="2">140</subfield><subfield code="1">01</subfield><subfield code="x">0839</subfield><subfield code="a">OLR-deGruyter-EBS</subfield></datafield><datafield tag="995" ind1=" " ind2=" "><subfield code="2">147</subfield><subfield code="1">01</subfield><subfield code="x">3528</subfield><subfield code="a">OLR-EBS-DG</subfield></datafield><datafield tag="995" ind1=" " ind2=" "><subfield code="2">264</subfield><subfield code="1">01</subfield><subfield code="x">3264</subfield><subfield code="a">OLR-deGruyter-EBS</subfield></datafield><datafield tag="995" ind1=" " ind2=" "><subfield code="2">370</subfield><subfield code="1">01</subfield><subfield code="x">4370</subfield><subfield code="a">EBS deGruyter</subfield></datafield><datafield tag="995" ind1=" " ind2=" "><subfield code="2">736</subfield><subfield code="1">01</subfield><subfield code="x">4736</subfield><subfield code="a">DeGryuterEBS2024</subfield></datafield></record></collection>
score	7.015442

Nicht das Richtige dabei?

Schreiben Sie uns!

Theory of Formal Systems : (AM-47)

Nicht das Richtige dabei?

Zugang & Verfügbarkeit

Vorhandene Bände

Nicht das Richtige dabei?