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
Autor*in: |
Smullyan, Raymond M. [verfasserIn] |
---|
Format: |
E-Book |
---|---|
Sprache: |
Englisch |
Erschienen: |
Princeton, NJ: Princeton University Press ; 2016 ©1961 |
---|---|
Zeitschrift/Reihe: |
Rechteinformationen: |
Restricted Access |
---|
Schlagwörter: | |
---|---|
Schlagwörter: |
Logic, Symbolic and mathematical |
Systematik: |
|
---|
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: | |
---|---|
ISBN: |
978-1-4008-8200-7 |
DOI / URN: |
10.1515/9781400882007 |
---|
Katalog-ID: |
1659128854 |
---|
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 |
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 |