Three Views of Logic : Mathematics, Philosophy, and Computer Science
Demonstrating the different roles that logic plays in the disciplines of computer science, mathematics, and philosophy, this concise undergraduate textbook covers select topics from three different areas of logic: proof theory, computability theory, and nonclassical logic. The book balances accessib...
Ausführliche Beschreibung
Gespeichert in:
| Autor*in: |
Loveland, Donald W. - 1934- [verfasserIn] |
|---|
| Format: |
E-Book |
|---|---|
| Sprache: |
Englisch |
| Erschienen: |
Princeton: Princeton University Press ; 2014 ©2014. |
|---|
| Rechteinformationen: |
Restricted Access |
|---|
| Schlagwörter: | |
|---|---|
| Schlagwörter: |
Mathematics, Linear & Nonlinear Programming |
| Systematik: |
|
|---|
| Umfang: |
Online-Ressource (339 p) |
|---|
| Reproduktion: |
2014 |
|---|---|
| Weitere Ausgabe: |
Erscheint auch als Druck-Ausgabe Loveland, Donald W., 1934 -: Three views of logic - Princeton, NJ [u.a.] : Princeton Univ. Press, 2014 |
| Links: |
Link aufrufen |
|---|---|
| ISBN: |
978-1-4008-4875-1 |
| DOI / URN: |
10.1515/9781400848751 |
|---|
| Katalog-ID: |
1658650565 |
|---|
| LEADER | 01000cam a22002652 4500 | ||
|---|---|---|---|
| 001 | 1658650565 | ||
| 003 | DE-627 | ||
| 005 | 20241008133526.0 | ||
| 007 | cr uuu---uuuuu | ||
| 008 | 151022r20142014xx |||||o 00| ||eng c | ||
| 020 | |a 9781400848751 |9 978-1-4008-4875-1 | ||
| 024 | 7 | |a 10.1515/9781400848751 |2 doi | |
| 035 | |a (DE-627)1658650565 | ||
| 035 | |a (DE-576)447053876 | ||
| 035 | |a (DE-599)GBV807212660 | ||
| 035 | |a (OCoLC)0867317379 | ||
| 035 | |a (OCoLC)867317379 | ||
| 035 | |a (ZBM)1291.03001 | ||
| 035 | |a (EBP)005936462 | ||
| 035 | |a (DE-B1597)453964 | ||
| 040 | |a DE-627 |b ger |c DE-627 |e rakwb | ||
| 041 | |a eng | ||
| 050 | 0 | |a QA9 | |
| 050 | 0 | |a QA9.54 | |
| 050 | 0 | |a QA9.54 | |
| 072 | 7 | |a MAT 018000 |2 bisacsh | |
| 072 | 7 | |a MAT018000 |2 bisacsh | |
| 084 | |a CC 2600 |q SEPA |2 rvk |0 (DE-625)rvk/17610: | ||
| 084 | |a *03-01 |2 msc | ||
| 084 | |a 03A05 |2 msc | ||
| 084 | |a 03B70 |2 msc | ||
| 084 | |a 03D10 |2 msc | ||
| 084 | |a 03D20 |2 msc | ||
| 084 | |a 03F03 |2 msc | ||
| 084 | |a 31.10 |2 bkl | ||
| 100 | 1 | |a Loveland, Donald W. |d 1934- |e verfasserin |0 (DE-588)104961139X |0 (DE-627)782375995 |0 (DE-576)162041365 |4 aut | |
| 245 | 1 | 0 | |a Three Views of Logic |b Mathematics, Philosophy, and Computer Science |c Donald W. Loveland, Richard E. Hodel, S. G. Sterrett |
| 264 | 1 | |a Princeton |b Princeton University Press |c 2014 | |
| 264 | 4 | |c ©2014. | |
| 300 | |a Online-Ressource (339 p) | ||
| 336 | |a Text |b txt |2 rdacontent | ||
| 337 | |a Computermedien |b c |2 rdamedia | ||
| 338 | |a Online-Ressource |b cr |2 rdacarrier | ||
| 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 Demonstrating the different roles that logic plays in the disciplines of computer science, mathematics, and philosophy, this concise undergraduate textbook covers select topics from three different areas of logic: proof theory, computability theory, and nonclassical logic. The book balances accessibility, breadth, and rigor, and is designed so that its materials will fit into a single semester. Its distinctive presentation of traditional logic material will enhance readers' capabilities and mathematical maturity. The proof theory portion presents classical propositional logic and first-order logic using a computer-oriented (resolution) formal system. Linear resolution and its connection to the programming language Prolog are also treated. The computability component offers a machine model and mathematical model for computation, proves the equivalence of the two approaches, and includes famous decision problems unsolvable by an algorithm. The section on nonclassical logic discusses the shortcomings of classical logic in its treatment of implication and an alternate approach that improves upon it: Anderson and Belnap's relevance logic. Applications are included in each section. The material on a four-valued semantics for relevance logic is presented in textbook form for the first time. Aimed at upper-level undergraduates of moderate analytical background, Three Views of Logic will be useful in a variety of classroom settings. Gives an exceptionally broad view of logic Treats traditional logic in a modern format Presents relevance logic with applications Provides an ideal text for a variety of one-semester upper-level undergraduate courses. | ||
| 533 | |d 2014 |7 |2014|||||||||| | ||
| 534 | |c 2014 | ||
| 546 | |a In English | ||
| 650 | 0 | |a Mathematics |x Linear & Nonlinear Programming | |
| 650 | 0 | |a Mathematics |x General | |
| 650 | 0 | |a Mathematics |x Philosophy | |
| 650 | 0 | |a Proof theory | |
| 650 | 0 | |a Nonclassical mathematical logic | |
| 650 | 0 | |a Computable functions | |
| 650 | 4 | |a MATHEMATICS / Logic | |
| 689 | 0 | 0 | |D s |0 (DE-588)4145177-6 |0 (DE-627)105592897 |0 (DE-576)209739452 |a Beweistheorie |2 gnd |
| 689 | 0 | 1 | |D s |0 (DE-588)4138368-0 |0 (DE-627)105643211 |0 (DE-576)209685441 |a Berechenbarkeit |2 gnd |
| 689 | 0 | 2 | |D s |0 (DE-588)4197462-1 |0 (DE-627)105196258 |0 (DE-576)210115408 |a Nichtklassische Logik |2 gnd |
| 689 | 0 | |5 (DE-627) | |
| 700 | 1 | |a Hodel, Richard E. |0 (DE-588)1049612272 |0 (DE-627)782377785 |0 (DE-576)175346151 |4 oth | |
| 700 | 1 | |a Sterrett, S. G. |4 oth | |
| 776 | 1 | |z 1306282594 | |
| 776 | 1 | |z 9780691160443 | |
| 776 | 1 | |z 9781306282598 | |
| 776 | 1 | |z 9781400848751 | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 1-306-28259-4 |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 978-1-306-28259-8 |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |a Loveland, Donald W., 1934 - |t Three views of logic |d Princeton, NJ [u.a.] : Princeton Univ. Press, 2014 |h XV, 322 S. |w (DE-627)778527107 |w (DE-576)407415505 |z 0691160449 |z 9780691160443 |z 9781400848751 |
| 856 | 4 | 0 | |u http://dx.doi.org/10.1515/9781400848751 |x Verlag |3 Volltext |
| 856 | 4 | 0 | |u https://doi.org/10.1515/9781400848751 |m X:GRUY |x Resolving-System |z lizenzpflichtig |3 Volltext |
| 856 | 4 | 0 | |u https://www.degruyter.com/isbn/9781400848751 |m X:GRUY |x Verlag |z lizenzpflichtig |
| 856 | 4 | 2 | |u https://www.degruyter.com/doc/cover/9781400848751.jpg |m X:GRUY |3 Cover |
| 856 | 4 | 2 | |u https://zbmath.org/?q=an:1291.03001 |m B:ZBM |v 2021-04-12 |x Verlag |y Zentralblatt MATH |3 Inhaltstext |
| 856 | 4 | 2 | |u https://www.degruyter.com/cover/covers/9781400848751.jpg |m X:GRUY |x Verlag |3 Cover |
| 912 | |a EBA-BACKALL | ||
| 912 | |a EBA-CL-MTPY | ||
| 912 | |a EBA-EBACKALL | ||
| 912 | |a EBA-EBKALL | ||
| 912 | |a EBA-ECL-MTPY | ||
| 912 | |a EBA-EEBKALL | ||
| 912 | |a EBA-ESTMALL | ||
| 912 | |a EBA-PPALL | ||
| 912 | |a EBA-STMALL | ||
| 912 | |a GBV-deGruyter-alles | ||
| 912 | |a ZDB-23-DGG | ||
| 912 | |a GBV_ILN_21 | ||
| 912 | |a ISIL_DE-46 | ||
| 912 | |a SYSFLAG_1 | ||
| 912 | |a GBV_KXP | ||
| 912 | |a SSG-OPC-MAT | ||
| 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_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_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_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 | b | k | |a 31.10 |j Mathematische Logik |j Mengenlehre |q SEPA |0 (DE-627)10640847X |
| 951 | |a BO | ||
| 953 | |2 045F |a 511.3 | ||
| 953 | |2 045F |a 511.3 | ||
| 980 | |2 21 |1 01 |x 0046 |b 3485251100 |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 4108904486 |c 00 |f --%%-- |d --%%-- |e s |j --%%-- |h SUBedegebs |y zu |z 31-03-22 | ||
| 980 | |2 23 |1 01 |x 0830 |b 3545210898 |h olr-degruyter3 |u i |y z |z 21-11-19 | ||
| 980 | |2 24 |1 01 |x 0008 |b 3806262144 |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 34 |1 01 |x 3551 |b 4080079494 |h OLR-EBAKALL-EBS |k Zugriff nur im Netz der HAW Hamburg |y z |z 05-03-22 | ||
| 980 | |2 65 |1 01 |x 0003 |b 4418896449 |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 3756763234 |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 90 |1 01 |x 3090 |b 3533749304 |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 3544302950 |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 3515433325 |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 3569486109 |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 3577971592 |c 00 |f --%%-- |d --%%-- |e g |j --%%-- |h alma |y z |z 21-01-20 | ||
| 980 | |2 122 |1 01 |x 0897 |b 3544694123 |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 3986037705 |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 09-10-21 | ||
| 980 | |2 140 |1 01 |x 0839 |b 3568724081 |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 3788094354 |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 357121076X |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 4085597361 |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 4492839216 |h DeGryuterEBS2024 |u verv |y zeg |z 28-02-24 | ||
| 980 | |2 2001 |1 01 |x DE-21 |b 3937561846 |c 00 |f --%%-- |d --%%-- |e --%%-- |j kp |y l01 |z 12-06-21 | ||
| 980 | |2 2006 |1 01 |x DE-14 |b 443368404X |c 00 |f --%%-- |d --%%-- |e --%%-- |j --%%-- |y l01 |z 13-12-23 | ||
| 980 | |2 2010 |1 01 |x DE-15 |b 4433613290 |c 00 |f --%%-- |d --%%-- |e --%%-- |j n |k Elektronischer Volltext - Campuslizenz |y l01 |z 13-12-23 | ||
| 980 | |2 2020 |1 01 |x DE-Ch1 |b 4440326471 |c 00 |f --%%-- |d --%%-- |e --%%-- |j n |k Campuslizenz |y l01 |z 18-12-23 | ||
| 980 | |2 2027 |1 01 |x DE-105 |b 4463387248 |c 00 |f --%%-- |d --%%-- |e --%%-- |j n |k Campuslizenz |y l01 |z 19-01-24 | ||
| 980 | |2 2044 |1 01 |x DE-751 |b 4589162652 |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 08-10-24 | ||
| 980 | |2 2045 |1 01 |x DE-Mit1 |b 4490897634 |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 444032648X |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 18-12-23 | ||
| 980 | |2 2063 |1 01 |x DE-951 |b 3824448440 |c 00 |f --%%-- |d eBook de Gruyter |e n |j n |k Elektronischer Volltext - Campuslizenz |y l01 |z 12-12-20 | ||
| 980 | |2 2118 |1 01 |x DE-Mh35 |b 4444225874 |c 00 |f --%%-- |d eBook de Gruyter |e --%%-- |j n |k Elektronischer Volltext - Campuslizenz |y l01 |z 24-12-23 | ||
| 981 | |2 21 |1 01 |x 0046 |r https://doi.org/10.1515/9781400848751 | ||
| 981 | |2 22 |1 01 |x 0018 |y Volltextzugang Campus |r https://doi.org/10.1515/9781400848751 | ||
| 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/9781400848751 | ||
| 981 | |2 23 |1 01 |x 0830 |y E-books (deGruyter) |r https://doi.org/10.1515/9781400848751 | ||
| 981 | |2 24 |1 01 |x 0008 |r https://doi.org/10.1515/9781400848751 | ||
| 981 | |2 34 |1 01 |x 3551 |r https://doi.org/10.1515/9781400848751 | ||
| 981 | |2 65 |1 01 |x 0003 |r https://doi.org/10.1515/9781400848751 | ||
| 981 | |2 69 |1 01 |x 0009 |r https://doi.org/10.1515/9781400848751 | ||
| 981 | |2 90 |1 01 |x 3090 |r https://doi.org/10.1515/9781400848751 | ||
| 981 | |2 95 |1 01 |x 3095 |r http://dx.doi.org/10.1515/9781400848751 | ||
| 981 | |2 110 |1 01 |x 3110 |r https://doi.org/10.1515/9781400848751 | ||
| 981 | |2 120 |1 01 |x 0715 |r http://dx.doi.org/10.1515/9781400848751 | ||
| 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=991014936551903501 | ||
| 981 | |2 122 |1 01 |x 0897 |r http://dx.doi.org/10.1515/9781400848751 | ||
| 981 | |2 130 |1 01 |x 0700 |r https://doi.org/10.1515/9781400848751 | ||
| 981 | |2 140 |1 01 |x 0839 |r http://dx.doi.org/10.1515/9781400848751 | ||
| 981 | |2 147 |1 01 |x 3528 |r https://doi.org/10.1515/9781400848751 | ||
| 981 | |2 264 |1 01 |x 3264 |r http://dx.doi.org/10.1515/9781400848751 | ||
| 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/9781400848751 | ||
| 981 | |2 736 |1 01 |x 4736 |r https://doi.org/10.1515/9781400848751 | ||
| 981 | |2 2001 |1 01 |x DE-21 |r https://doi.org/10.1515/9781400848751 | ||
| 981 | |2 2006 |1 01 |x DE-14 |r https://doi.org/10.1515/9781400848751 | ||
| 981 | |2 2010 |1 01 |x DE-15 |y Online-Zugriff |r https://doi.org/10.1515/9781400848751 | ||
| 981 | |2 2020 |1 01 |x DE-Ch1 |r https://doi.org/10.1515/9781400848751 | ||
| 981 | |2 2044 |1 01 |x DE-751 |r https://doi.org/10.1515/9781400848751 | ||
| 981 | |2 2045 |1 01 |x DE-Mit1 |r https://doi.org/10.1515/9781400848751 | ||
| 981 | |2 2050 |1 01 |x DE-Zi4 |r https://doi.org/10.1515/9781400848751 | ||
| 981 | |2 2063 |1 01 |x DE-951 |r https://doi.org/10.1515/9781400848751 | ||
| 981 | |2 2118 |1 01 |x DE-Mh35 |r https://doi.org/10.1515/9781400848751 | ||
| 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 | ||
| 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 | ||
| 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 34 |1 01 |x 3551 |a OLR-EBAKALL-EBS | ||
| 995 | |2 65 |1 01 |x 0003 |a DeGruyter-EBA | ||
| 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 |
d w l dw dwl |
|---|---|
| matchkey_str |
book:9781400848751:20142014 |
| oclc_num |
867317379 |
| hierarchy_sort_str |
2014 |
| bklnumber |
31.10 |
| callnumber-subject-code |
QA |
| publishDate |
2014 |
| allfields |
9781400848751 978-1-4008-4875-1 10.1515/9781400848751 doi (DE-627)1658650565 (DE-576)447053876 (DE-599)GBV807212660 (OCoLC)0867317379 (OCoLC)867317379 (ZBM)1291.03001 (EBP)005936462 (DE-B1597)453964 DE-627 ger DE-627 rakwb eng QA9 QA9.54 QA9.54 MAT 018000 bisacsh MAT018000 bisacsh CC 2600 SEPA rvk (DE-625)rvk/17610: *03-01 msc 03A05 msc 03B70 msc 03D10 msc 03D20 msc 03F03 msc 31.10 bkl Loveland, Donald W. 1934- verfasserin (DE-588)104961139X (DE-627)782375995 (DE-576)162041365 aut Three Views of Logic Mathematics, Philosophy, and Computer Science Donald W. Loveland, Richard E. Hodel, S. G. Sterrett Princeton Princeton University Press 2014 ©2014. Online-Ressource (339 p) Text txt rdacontent Computermedien c rdamedia Online-Ressource cr rdacarrier Restricted Access Controlled Vocabulary for Access Rights http://purl.org/coar/access_right/c_16ec online access with authorization star Demonstrating the different roles that logic plays in the disciplines of computer science, mathematics, and philosophy, this concise undergraduate textbook covers select topics from three different areas of logic: proof theory, computability theory, and nonclassical logic. The book balances accessibility, breadth, and rigor, and is designed so that its materials will fit into a single semester. Its distinctive presentation of traditional logic material will enhance readers' capabilities and mathematical maturity. The proof theory portion presents classical propositional logic and first-order logic using a computer-oriented (resolution) formal system. Linear resolution and its connection to the programming language Prolog are also treated. The computability component offers a machine model and mathematical model for computation, proves the equivalence of the two approaches, and includes famous decision problems unsolvable by an algorithm. The section on nonclassical logic discusses the shortcomings of classical logic in its treatment of implication and an alternate approach that improves upon it: Anderson and Belnap's relevance logic. Applications are included in each section. The material on a four-valued semantics for relevance logic is presented in textbook form for the first time. Aimed at upper-level undergraduates of moderate analytical background, Three Views of Logic will be useful in a variety of classroom settings. Gives an exceptionally broad view of logic Treats traditional logic in a modern format Presents relevance logic with applications Provides an ideal text for a variety of one-semester upper-level undergraduate courses. 2014 |2014|||||||||| 2014 In English Mathematics Linear & Nonlinear Programming Mathematics General Mathematics Philosophy Proof theory Nonclassical mathematical logic Computable functions MATHEMATICS / Logic s (DE-588)4145177-6 (DE-627)105592897 (DE-576)209739452 Beweistheorie gnd s (DE-588)4138368-0 (DE-627)105643211 (DE-576)209685441 Berechenbarkeit gnd s (DE-588)4197462-1 (DE-627)105196258 (DE-576)210115408 Nichtklassische Logik gnd (DE-627) Hodel, Richard E. (DE-588)1049612272 (DE-627)782377785 (DE-576)175346151 oth Sterrett, S. G. oth 1306282594 9780691160443 9781306282598 9781400848751 Erscheint auch als Druck-Ausgabe 1-306-28259-4 Erscheint auch als Druck-Ausgabe 978-1-306-28259-8 Erscheint auch als Druck-Ausgabe Loveland, Donald W., 1934 - Three views of logic Princeton, NJ [u.a.] : Princeton Univ. Press, 2014 XV, 322 S. (DE-627)778527107 (DE-576)407415505 0691160449 9780691160443 9781400848751 http://dx.doi.org/10.1515/9781400848751 Verlag Volltext https://doi.org/10.1515/9781400848751 X:GRUY Resolving-System lizenzpflichtig Volltext https://www.degruyter.com/isbn/9781400848751 X:GRUY Verlag lizenzpflichtig https://www.degruyter.com/doc/cover/9781400848751.jpg X:GRUY Cover https://zbmath.org/?q=an:1291.03001 B:ZBM 2021-04-12 Verlag Zentralblatt MATH Inhaltstext https://www.degruyter.com/cover/covers/9781400848751.jpg X:GRUY Verlag Cover EBA-BACKALL EBA-CL-MTPY EBA-EBACKALL EBA-EBKALL EBA-ECL-MTPY EBA-EEBKALL EBA-ESTMALL EBA-PPALL EBA-STMALL GBV-deGruyter-alles ZDB-23-DGG GBV_ILN_21 ISIL_DE-46 SYSFLAG_1 GBV_KXP SSG-OPC-MAT GBV_ILN_22 ISIL_DE-18 GBV_ILN_23 ISIL_DE-830 GBV_ILN_24 ISIL_DE-8 GBV_ILN_34 ISIL_DE-18-302 GBV_ILN_65 ISIL_DE-3 GBV_ILN_69 ISIL_DE-9 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_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 31.10 Mathematische Logik Mengenlehre SEPA (DE-627)10640847X BO 045F 511.3 045F 511.3 21 01 0046 3485251100 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 4108904486 00 --%%-- --%%-- s --%%-- SUBedegebs zu 31-03-22 23 01 0830 3545210898 olr-degruyter3 i z 21-11-19 24 01 0008 3806262144 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 34 01 3551 4080079494 OLR-EBAKALL-EBS Zugriff nur im Netz der HAW Hamburg z 05-03-22 65 01 0003 4418896449 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 3756763234 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 90 01 3090 3533749304 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 3544302950 OLR-DEGRUYTER Ausdruck und Kopien sind ausschließlich für den eigenen wissenschaftlichen Gebrauch gestattet z1 21-11-19 110 01 3110 3515433325 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 3569486109 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 3577971592 00 --%%-- --%%-- g --%%-- alma z 21-01-20 122 01 0897 3544694123 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 3986037705 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 09-10-21 140 01 0839 3568724081 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 3788094354 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 357121076X 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 4085597361 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 4492839216 DeGryuterEBS2024 verv zeg 28-02-24 2001 01 DE-21 3937561846 00 --%%-- --%%-- --%%-- kp l01 12-06-21 2006 01 DE-14 443368404X 00 --%%-- --%%-- --%%-- --%%-- l01 13-12-23 2010 01 DE-15 4433613290 00 --%%-- --%%-- --%%-- n Elektronischer Volltext - Campuslizenz l01 13-12-23 2020 01 DE-Ch1 4440326471 00 --%%-- --%%-- --%%-- n Campuslizenz l01 18-12-23 2027 01 DE-105 4463387248 00 --%%-- --%%-- --%%-- n Campuslizenz l01 19-01-24 2044 01 DE-751 4589162652 00 --%%-- eBook de Gruyter --%%-- n Campuslizenz bis 30.09.2025. Bitte beachten Sie die Nutzungshinweise auf unserer Homepage (de Gruyter) l01 08-10-24 2045 01 DE-Mit1 4490897634 00 --%%-- --%%-- --%%-- n Volltext - Campuslizenz l01 25-02-24 2050 01 DE-Zi4 444032648X 00 --%%-- --%%-- --%%-- n Zugriff im HSZG-Campusnetz. Zugriff von auβerhalb nur für HSZG-Angehörige. l01 18-12-23 2063 01 DE-951 3824448440 00 --%%-- eBook de Gruyter n n Elektronischer Volltext - Campuslizenz l01 12-12-20 2118 01 DE-Mh35 4444225874 00 --%%-- eBook de Gruyter --%%-- n Elektronischer Volltext - Campuslizenz l01 24-12-23 21 01 0046 https://doi.org/10.1515/9781400848751 22 01 0018 Volltextzugang Campus https://doi.org/10.1515/9781400848751 22 01 0018 Volltextzugang von außerhalb des Campus http://emedien.sub.uni-hamburg.de/han/degruyterebooks/doi.org/10.1515/9781400848751 23 01 0830 E-books (deGruyter) https://doi.org/10.1515/9781400848751 24 01 0008 https://doi.org/10.1515/9781400848751 34 01 3551 https://doi.org/10.1515/9781400848751 65 01 0003 https://doi.org/10.1515/9781400848751 69 01 0009 https://doi.org/10.1515/9781400848751 90 01 3090 https://doi.org/10.1515/9781400848751 95 01 3095 http://dx.doi.org/10.1515/9781400848751 110 01 3110 https://doi.org/10.1515/9781400848751 120 01 0715 http://dx.doi.org/10.1515/9781400848751 120 02 0715 http://49gbv-uob-primo.hosted.exlibrisgroup.com/openurl/49GBV_UOB/UOB_services_page?u.ignore_date_coverage=true&rft.mms_id=991014936551903501 122 01 0897 http://dx.doi.org/10.1515/9781400848751 130 01 0700 https://doi.org/10.1515/9781400848751 140 01 0839 http://dx.doi.org/10.1515/9781400848751 147 01 3528 https://doi.org/10.1515/9781400848751 264 01 3264 http://dx.doi.org/10.1515/9781400848751 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/9781400848751 736 01 4736 https://doi.org/10.1515/9781400848751 2001 01 DE-21 https://doi.org/10.1515/9781400848751 2006 01 DE-14 https://doi.org/10.1515/9781400848751 2010 01 DE-15 Online-Zugriff https://doi.org/10.1515/9781400848751 2020 01 DE-Ch1 https://doi.org/10.1515/9781400848751 2044 01 DE-751 https://doi.org/10.1515/9781400848751 2045 01 DE-Mit1 https://doi.org/10.1515/9781400848751 2050 01 DE-Zi4 https://doi.org/10.1515/9781400848751 2063 01 DE-951 https://doi.org/10.1515/9781400848751 2118 01 DE-Mh35 https://doi.org/10.1515/9781400848751 2001 01 DE-21 00 s eBook-DeGruyter-EBS-2021-2022 2027 01 DE-105 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 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 34 01 3551 OLR-EBAKALL-EBS 65 01 0003 DeGruyter-EBA 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 |
9781400848751 978-1-4008-4875-1 10.1515/9781400848751 doi (DE-627)1658650565 (DE-576)447053876 (DE-599)GBV807212660 (OCoLC)0867317379 (OCoLC)867317379 (ZBM)1291.03001 (EBP)005936462 (DE-B1597)453964 DE-627 ger DE-627 rakwb eng QA9 QA9.54 QA9.54 MAT 018000 bisacsh MAT018000 bisacsh CC 2600 SEPA rvk (DE-625)rvk/17610: *03-01 msc 03A05 msc 03B70 msc 03D10 msc 03D20 msc 03F03 msc 31.10 bkl Loveland, Donald W. 1934- verfasserin (DE-588)104961139X (DE-627)782375995 (DE-576)162041365 aut Three Views of Logic Mathematics, Philosophy, and Computer Science Donald W. Loveland, Richard E. Hodel, S. G. Sterrett Princeton Princeton University Press 2014 ©2014. Online-Ressource (339 p) Text txt rdacontent Computermedien c rdamedia Online-Ressource cr rdacarrier Restricted Access Controlled Vocabulary for Access Rights http://purl.org/coar/access_right/c_16ec online access with authorization star Demonstrating the different roles that logic plays in the disciplines of computer science, mathematics, and philosophy, this concise undergraduate textbook covers select topics from three different areas of logic: proof theory, computability theory, and nonclassical logic. The book balances accessibility, breadth, and rigor, and is designed so that its materials will fit into a single semester. Its distinctive presentation of traditional logic material will enhance readers' capabilities and mathematical maturity. The proof theory portion presents classical propositional logic and first-order logic using a computer-oriented (resolution) formal system. Linear resolution and its connection to the programming language Prolog are also treated. The computability component offers a machine model and mathematical model for computation, proves the equivalence of the two approaches, and includes famous decision problems unsolvable by an algorithm. The section on nonclassical logic discusses the shortcomings of classical logic in its treatment of implication and an alternate approach that improves upon it: Anderson and Belnap's relevance logic. Applications are included in each section. The material on a four-valued semantics for relevance logic is presented in textbook form for the first time. Aimed at upper-level undergraduates of moderate analytical background, Three Views of Logic will be useful in a variety of classroom settings. Gives an exceptionally broad view of logic Treats traditional logic in a modern format Presents relevance logic with applications Provides an ideal text for a variety of one-semester upper-level undergraduate courses. 2014 |2014|||||||||| 2014 In English Mathematics Linear & Nonlinear Programming Mathematics General Mathematics Philosophy Proof theory Nonclassical mathematical logic Computable functions MATHEMATICS / Logic s (DE-588)4145177-6 (DE-627)105592897 (DE-576)209739452 Beweistheorie gnd s (DE-588)4138368-0 (DE-627)105643211 (DE-576)209685441 Berechenbarkeit gnd s (DE-588)4197462-1 (DE-627)105196258 (DE-576)210115408 Nichtklassische Logik gnd (DE-627) Hodel, Richard E. (DE-588)1049612272 (DE-627)782377785 (DE-576)175346151 oth Sterrett, S. G. oth 1306282594 9780691160443 9781306282598 9781400848751 Erscheint auch als Druck-Ausgabe 1-306-28259-4 Erscheint auch als Druck-Ausgabe 978-1-306-28259-8 Erscheint auch als Druck-Ausgabe Loveland, Donald W., 1934 - Three views of logic Princeton, NJ [u.a.] : Princeton Univ. Press, 2014 XV, 322 S. (DE-627)778527107 (DE-576)407415505 0691160449 9780691160443 9781400848751 http://dx.doi.org/10.1515/9781400848751 Verlag Volltext https://doi.org/10.1515/9781400848751 X:GRUY Resolving-System lizenzpflichtig Volltext https://www.degruyter.com/isbn/9781400848751 X:GRUY Verlag lizenzpflichtig https://www.degruyter.com/doc/cover/9781400848751.jpg X:GRUY Cover https://zbmath.org/?q=an:1291.03001 B:ZBM 2021-04-12 Verlag Zentralblatt MATH Inhaltstext https://www.degruyter.com/cover/covers/9781400848751.jpg X:GRUY Verlag Cover EBA-BACKALL EBA-CL-MTPY EBA-EBACKALL EBA-EBKALL EBA-ECL-MTPY EBA-EEBKALL EBA-ESTMALL EBA-PPALL EBA-STMALL GBV-deGruyter-alles ZDB-23-DGG GBV_ILN_21 ISIL_DE-46 SYSFLAG_1 GBV_KXP SSG-OPC-MAT GBV_ILN_22 ISIL_DE-18 GBV_ILN_23 ISIL_DE-830 GBV_ILN_24 ISIL_DE-8 GBV_ILN_34 ISIL_DE-18-302 GBV_ILN_65 ISIL_DE-3 GBV_ILN_69 ISIL_DE-9 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_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 31.10 Mathematische Logik Mengenlehre SEPA (DE-627)10640847X BO 045F 511.3 045F 511.3 21 01 0046 3485251100 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 4108904486 00 --%%-- --%%-- s --%%-- SUBedegebs zu 31-03-22 23 01 0830 3545210898 olr-degruyter3 i z 21-11-19 24 01 0008 3806262144 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 34 01 3551 4080079494 OLR-EBAKALL-EBS Zugriff nur im Netz der HAW Hamburg z 05-03-22 65 01 0003 4418896449 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 3756763234 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 90 01 3090 3533749304 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 3544302950 OLR-DEGRUYTER Ausdruck und Kopien sind ausschließlich für den eigenen wissenschaftlichen Gebrauch gestattet z1 21-11-19 110 01 3110 3515433325 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 3569486109 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 3577971592 00 --%%-- --%%-- g --%%-- alma z 21-01-20 122 01 0897 3544694123 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 3986037705 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 09-10-21 140 01 0839 3568724081 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 3788094354 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 357121076X 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 4085597361 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 4492839216 DeGryuterEBS2024 verv zeg 28-02-24 2001 01 DE-21 3937561846 00 --%%-- --%%-- --%%-- kp l01 12-06-21 2006 01 DE-14 443368404X 00 --%%-- --%%-- --%%-- --%%-- l01 13-12-23 2010 01 DE-15 4433613290 00 --%%-- --%%-- --%%-- n Elektronischer Volltext - Campuslizenz l01 13-12-23 2020 01 DE-Ch1 4440326471 00 --%%-- --%%-- --%%-- n Campuslizenz l01 18-12-23 2027 01 DE-105 4463387248 00 --%%-- --%%-- --%%-- n Campuslizenz l01 19-01-24 2044 01 DE-751 4589162652 00 --%%-- eBook de Gruyter --%%-- n Campuslizenz bis 30.09.2025. Bitte beachten Sie die Nutzungshinweise auf unserer Homepage (de Gruyter) l01 08-10-24 2045 01 DE-Mit1 4490897634 00 --%%-- --%%-- --%%-- n Volltext - Campuslizenz l01 25-02-24 2050 01 DE-Zi4 444032648X 00 --%%-- --%%-- --%%-- n Zugriff im HSZG-Campusnetz. Zugriff von auβerhalb nur für HSZG-Angehörige. l01 18-12-23 2063 01 DE-951 3824448440 00 --%%-- eBook de Gruyter n n Elektronischer Volltext - Campuslizenz l01 12-12-20 2118 01 DE-Mh35 4444225874 00 --%%-- eBook de Gruyter --%%-- n Elektronischer Volltext - Campuslizenz l01 24-12-23 21 01 0046 https://doi.org/10.1515/9781400848751 22 01 0018 Volltextzugang Campus https://doi.org/10.1515/9781400848751 22 01 0018 Volltextzugang von außerhalb des Campus http://emedien.sub.uni-hamburg.de/han/degruyterebooks/doi.org/10.1515/9781400848751 23 01 0830 E-books (deGruyter) https://doi.org/10.1515/9781400848751 24 01 0008 https://doi.org/10.1515/9781400848751 34 01 3551 https://doi.org/10.1515/9781400848751 65 01 0003 https://doi.org/10.1515/9781400848751 69 01 0009 https://doi.org/10.1515/9781400848751 90 01 3090 https://doi.org/10.1515/9781400848751 95 01 3095 http://dx.doi.org/10.1515/9781400848751 110 01 3110 https://doi.org/10.1515/9781400848751 120 01 0715 http://dx.doi.org/10.1515/9781400848751 120 02 0715 http://49gbv-uob-primo.hosted.exlibrisgroup.com/openurl/49GBV_UOB/UOB_services_page?u.ignore_date_coverage=true&rft.mms_id=991014936551903501 122 01 0897 http://dx.doi.org/10.1515/9781400848751 130 01 0700 https://doi.org/10.1515/9781400848751 140 01 0839 http://dx.doi.org/10.1515/9781400848751 147 01 3528 https://doi.org/10.1515/9781400848751 264 01 3264 http://dx.doi.org/10.1515/9781400848751 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/9781400848751 736 01 4736 https://doi.org/10.1515/9781400848751 2001 01 DE-21 https://doi.org/10.1515/9781400848751 2006 01 DE-14 https://doi.org/10.1515/9781400848751 2010 01 DE-15 Online-Zugriff https://doi.org/10.1515/9781400848751 2020 01 DE-Ch1 https://doi.org/10.1515/9781400848751 2044 01 DE-751 https://doi.org/10.1515/9781400848751 2045 01 DE-Mit1 https://doi.org/10.1515/9781400848751 2050 01 DE-Zi4 https://doi.org/10.1515/9781400848751 2063 01 DE-951 https://doi.org/10.1515/9781400848751 2118 01 DE-Mh35 https://doi.org/10.1515/9781400848751 2001 01 DE-21 00 s eBook-DeGruyter-EBS-2021-2022 2027 01 DE-105 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 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 34 01 3551 OLR-EBAKALL-EBS 65 01 0003 DeGruyter-EBA 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 |
9781400848751 978-1-4008-4875-1 10.1515/9781400848751 doi (DE-627)1658650565 (DE-576)447053876 (DE-599)GBV807212660 (OCoLC)0867317379 (OCoLC)867317379 (ZBM)1291.03001 (EBP)005936462 (DE-B1597)453964 DE-627 ger DE-627 rakwb eng QA9 QA9.54 QA9.54 MAT 018000 bisacsh MAT018000 bisacsh CC 2600 SEPA rvk (DE-625)rvk/17610: *03-01 msc 03A05 msc 03B70 msc 03D10 msc 03D20 msc 03F03 msc 31.10 bkl Loveland, Donald W. 1934- verfasserin (DE-588)104961139X (DE-627)782375995 (DE-576)162041365 aut Three Views of Logic Mathematics, Philosophy, and Computer Science Donald W. Loveland, Richard E. Hodel, S. G. Sterrett Princeton Princeton University Press 2014 ©2014. Online-Ressource (339 p) Text txt rdacontent Computermedien c rdamedia Online-Ressource cr rdacarrier Restricted Access Controlled Vocabulary for Access Rights http://purl.org/coar/access_right/c_16ec online access with authorization star Demonstrating the different roles that logic plays in the disciplines of computer science, mathematics, and philosophy, this concise undergraduate textbook covers select topics from three different areas of logic: proof theory, computability theory, and nonclassical logic. The book balances accessibility, breadth, and rigor, and is designed so that its materials will fit into a single semester. Its distinctive presentation of traditional logic material will enhance readers' capabilities and mathematical maturity. The proof theory portion presents classical propositional logic and first-order logic using a computer-oriented (resolution) formal system. Linear resolution and its connection to the programming language Prolog are also treated. The computability component offers a machine model and mathematical model for computation, proves the equivalence of the two approaches, and includes famous decision problems unsolvable by an algorithm. The section on nonclassical logic discusses the shortcomings of classical logic in its treatment of implication and an alternate approach that improves upon it: Anderson and Belnap's relevance logic. Applications are included in each section. The material on a four-valued semantics for relevance logic is presented in textbook form for the first time. Aimed at upper-level undergraduates of moderate analytical background, Three Views of Logic will be useful in a variety of classroom settings. Gives an exceptionally broad view of logic Treats traditional logic in a modern format Presents relevance logic with applications Provides an ideal text for a variety of one-semester upper-level undergraduate courses. 2014 |2014|||||||||| 2014 In English Mathematics Linear & Nonlinear Programming Mathematics General Mathematics Philosophy Proof theory Nonclassical mathematical logic Computable functions MATHEMATICS / Logic s (DE-588)4145177-6 (DE-627)105592897 (DE-576)209739452 Beweistheorie gnd s (DE-588)4138368-0 (DE-627)105643211 (DE-576)209685441 Berechenbarkeit gnd s (DE-588)4197462-1 (DE-627)105196258 (DE-576)210115408 Nichtklassische Logik gnd (DE-627) Hodel, Richard E. (DE-588)1049612272 (DE-627)782377785 (DE-576)175346151 oth Sterrett, S. G. oth 1306282594 9780691160443 9781306282598 9781400848751 Erscheint auch als Druck-Ausgabe 1-306-28259-4 Erscheint auch als Druck-Ausgabe 978-1-306-28259-8 Erscheint auch als Druck-Ausgabe Loveland, Donald W., 1934 - Three views of logic Princeton, NJ [u.a.] : Princeton Univ. Press, 2014 XV, 322 S. (DE-627)778527107 (DE-576)407415505 0691160449 9780691160443 9781400848751 http://dx.doi.org/10.1515/9781400848751 Verlag Volltext https://doi.org/10.1515/9781400848751 X:GRUY Resolving-System lizenzpflichtig Volltext https://www.degruyter.com/isbn/9781400848751 X:GRUY Verlag lizenzpflichtig https://www.degruyter.com/doc/cover/9781400848751.jpg X:GRUY Cover https://zbmath.org/?q=an:1291.03001 B:ZBM 2021-04-12 Verlag Zentralblatt MATH Inhaltstext https://www.degruyter.com/cover/covers/9781400848751.jpg X:GRUY Verlag Cover EBA-BACKALL EBA-CL-MTPY EBA-EBACKALL EBA-EBKALL EBA-ECL-MTPY EBA-EEBKALL EBA-ESTMALL EBA-PPALL EBA-STMALL GBV-deGruyter-alles ZDB-23-DGG GBV_ILN_21 ISIL_DE-46 SYSFLAG_1 GBV_KXP SSG-OPC-MAT GBV_ILN_22 ISIL_DE-18 GBV_ILN_23 ISIL_DE-830 GBV_ILN_24 ISIL_DE-8 GBV_ILN_34 ISIL_DE-18-302 GBV_ILN_65 ISIL_DE-3 GBV_ILN_69 ISIL_DE-9 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_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 31.10 Mathematische Logik Mengenlehre SEPA (DE-627)10640847X BO 045F 511.3 045F 511.3 21 01 0046 3485251100 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 4108904486 00 --%%-- --%%-- s --%%-- SUBedegebs zu 31-03-22 23 01 0830 3545210898 olr-degruyter3 i z 21-11-19 24 01 0008 3806262144 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 34 01 3551 4080079494 OLR-EBAKALL-EBS Zugriff nur im Netz der HAW Hamburg z 05-03-22 65 01 0003 4418896449 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 3756763234 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 90 01 3090 3533749304 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 3544302950 OLR-DEGRUYTER Ausdruck und Kopien sind ausschließlich für den eigenen wissenschaftlichen Gebrauch gestattet z1 21-11-19 110 01 3110 3515433325 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 3569486109 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 3577971592 00 --%%-- --%%-- g --%%-- alma z 21-01-20 122 01 0897 3544694123 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 3986037705 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 09-10-21 140 01 0839 3568724081 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 3788094354 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 357121076X 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 4085597361 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 4492839216 DeGryuterEBS2024 verv zeg 28-02-24 2001 01 DE-21 3937561846 00 --%%-- --%%-- --%%-- kp l01 12-06-21 2006 01 DE-14 443368404X 00 --%%-- --%%-- --%%-- --%%-- l01 13-12-23 2010 01 DE-15 4433613290 00 --%%-- --%%-- --%%-- n Elektronischer Volltext - Campuslizenz l01 13-12-23 2020 01 DE-Ch1 4440326471 00 --%%-- --%%-- --%%-- n Campuslizenz l01 18-12-23 2027 01 DE-105 4463387248 00 --%%-- --%%-- --%%-- n Campuslizenz l01 19-01-24 2044 01 DE-751 4589162652 00 --%%-- eBook de Gruyter --%%-- n Campuslizenz bis 30.09.2025. Bitte beachten Sie die Nutzungshinweise auf unserer Homepage (de Gruyter) l01 08-10-24 2045 01 DE-Mit1 4490897634 00 --%%-- --%%-- --%%-- n Volltext - Campuslizenz l01 25-02-24 2050 01 DE-Zi4 444032648X 00 --%%-- --%%-- --%%-- n Zugriff im HSZG-Campusnetz. Zugriff von auβerhalb nur für HSZG-Angehörige. l01 18-12-23 2063 01 DE-951 3824448440 00 --%%-- eBook de Gruyter n n Elektronischer Volltext - Campuslizenz l01 12-12-20 2118 01 DE-Mh35 4444225874 00 --%%-- eBook de Gruyter --%%-- n Elektronischer Volltext - Campuslizenz l01 24-12-23 21 01 0046 https://doi.org/10.1515/9781400848751 22 01 0018 Volltextzugang Campus https://doi.org/10.1515/9781400848751 22 01 0018 Volltextzugang von außerhalb des Campus http://emedien.sub.uni-hamburg.de/han/degruyterebooks/doi.org/10.1515/9781400848751 23 01 0830 E-books (deGruyter) https://doi.org/10.1515/9781400848751 24 01 0008 https://doi.org/10.1515/9781400848751 34 01 3551 https://doi.org/10.1515/9781400848751 65 01 0003 https://doi.org/10.1515/9781400848751 69 01 0009 https://doi.org/10.1515/9781400848751 90 01 3090 https://doi.org/10.1515/9781400848751 95 01 3095 http://dx.doi.org/10.1515/9781400848751 110 01 3110 https://doi.org/10.1515/9781400848751 120 01 0715 http://dx.doi.org/10.1515/9781400848751 120 02 0715 http://49gbv-uob-primo.hosted.exlibrisgroup.com/openurl/49GBV_UOB/UOB_services_page?u.ignore_date_coverage=true&rft.mms_id=991014936551903501 122 01 0897 http://dx.doi.org/10.1515/9781400848751 130 01 0700 https://doi.org/10.1515/9781400848751 140 01 0839 http://dx.doi.org/10.1515/9781400848751 147 01 3528 https://doi.org/10.1515/9781400848751 264 01 3264 http://dx.doi.org/10.1515/9781400848751 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/9781400848751 736 01 4736 https://doi.org/10.1515/9781400848751 2001 01 DE-21 https://doi.org/10.1515/9781400848751 2006 01 DE-14 https://doi.org/10.1515/9781400848751 2010 01 DE-15 Online-Zugriff https://doi.org/10.1515/9781400848751 2020 01 DE-Ch1 https://doi.org/10.1515/9781400848751 2044 01 DE-751 https://doi.org/10.1515/9781400848751 2045 01 DE-Mit1 https://doi.org/10.1515/9781400848751 2050 01 DE-Zi4 https://doi.org/10.1515/9781400848751 2063 01 DE-951 https://doi.org/10.1515/9781400848751 2118 01 DE-Mh35 https://doi.org/10.1515/9781400848751 2001 01 DE-21 00 s eBook-DeGruyter-EBS-2021-2022 2027 01 DE-105 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 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 34 01 3551 OLR-EBAKALL-EBS 65 01 0003 DeGruyter-EBA 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 |
9781400848751 978-1-4008-4875-1 10.1515/9781400848751 doi (DE-627)1658650565 (DE-576)447053876 (DE-599)GBV807212660 (OCoLC)0867317379 (OCoLC)867317379 (ZBM)1291.03001 (EBP)005936462 (DE-B1597)453964 DE-627 ger DE-627 rakwb eng QA9 QA9.54 QA9.54 MAT 018000 bisacsh MAT018000 bisacsh CC 2600 SEPA rvk (DE-625)rvk/17610: *03-01 msc 03A05 msc 03B70 msc 03D10 msc 03D20 msc 03F03 msc 31.10 bkl Loveland, Donald W. 1934- verfasserin (DE-588)104961139X (DE-627)782375995 (DE-576)162041365 aut Three Views of Logic Mathematics, Philosophy, and Computer Science Donald W. Loveland, Richard E. Hodel, S. G. Sterrett Princeton Princeton University Press 2014 ©2014. Online-Ressource (339 p) Text txt rdacontent Computermedien c rdamedia Online-Ressource cr rdacarrier Restricted Access Controlled Vocabulary for Access Rights http://purl.org/coar/access_right/c_16ec online access with authorization star Demonstrating the different roles that logic plays in the disciplines of computer science, mathematics, and philosophy, this concise undergraduate textbook covers select topics from three different areas of logic: proof theory, computability theory, and nonclassical logic. The book balances accessibility, breadth, and rigor, and is designed so that its materials will fit into a single semester. Its distinctive presentation of traditional logic material will enhance readers' capabilities and mathematical maturity. The proof theory portion presents classical propositional logic and first-order logic using a computer-oriented (resolution) formal system. Linear resolution and its connection to the programming language Prolog are also treated. The computability component offers a machine model and mathematical model for computation, proves the equivalence of the two approaches, and includes famous decision problems unsolvable by an algorithm. The section on nonclassical logic discusses the shortcomings of classical logic in its treatment of implication and an alternate approach that improves upon it: Anderson and Belnap's relevance logic. Applications are included in each section. The material on a four-valued semantics for relevance logic is presented in textbook form for the first time. Aimed at upper-level undergraduates of moderate analytical background, Three Views of Logic will be useful in a variety of classroom settings. Gives an exceptionally broad view of logic Treats traditional logic in a modern format Presents relevance logic with applications Provides an ideal text for a variety of one-semester upper-level undergraduate courses. 2014 |2014|||||||||| 2014 In English Mathematics Linear & Nonlinear Programming Mathematics General Mathematics Philosophy Proof theory Nonclassical mathematical logic Computable functions MATHEMATICS / Logic s (DE-588)4145177-6 (DE-627)105592897 (DE-576)209739452 Beweistheorie gnd s (DE-588)4138368-0 (DE-627)105643211 (DE-576)209685441 Berechenbarkeit gnd s (DE-588)4197462-1 (DE-627)105196258 (DE-576)210115408 Nichtklassische Logik gnd (DE-627) Hodel, Richard E. (DE-588)1049612272 (DE-627)782377785 (DE-576)175346151 oth Sterrett, S. G. oth 1306282594 9780691160443 9781306282598 9781400848751 Erscheint auch als Druck-Ausgabe 1-306-28259-4 Erscheint auch als Druck-Ausgabe 978-1-306-28259-8 Erscheint auch als Druck-Ausgabe Loveland, Donald W., 1934 - Three views of logic Princeton, NJ [u.a.] : Princeton Univ. Press, 2014 XV, 322 S. (DE-627)778527107 (DE-576)407415505 0691160449 9780691160443 9781400848751 http://dx.doi.org/10.1515/9781400848751 Verlag Volltext https://doi.org/10.1515/9781400848751 X:GRUY Resolving-System lizenzpflichtig Volltext https://www.degruyter.com/isbn/9781400848751 X:GRUY Verlag lizenzpflichtig https://www.degruyter.com/doc/cover/9781400848751.jpg X:GRUY Cover https://zbmath.org/?q=an:1291.03001 B:ZBM 2021-04-12 Verlag Zentralblatt MATH Inhaltstext https://www.degruyter.com/cover/covers/9781400848751.jpg X:GRUY Verlag Cover EBA-BACKALL EBA-CL-MTPY EBA-EBACKALL EBA-EBKALL EBA-ECL-MTPY EBA-EEBKALL EBA-ESTMALL EBA-PPALL EBA-STMALL GBV-deGruyter-alles ZDB-23-DGG GBV_ILN_21 ISIL_DE-46 SYSFLAG_1 GBV_KXP SSG-OPC-MAT GBV_ILN_22 ISIL_DE-18 GBV_ILN_23 ISIL_DE-830 GBV_ILN_24 ISIL_DE-8 GBV_ILN_34 ISIL_DE-18-302 GBV_ILN_65 ISIL_DE-3 GBV_ILN_69 ISIL_DE-9 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_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 31.10 Mathematische Logik Mengenlehre SEPA (DE-627)10640847X BO 045F 511.3 045F 511.3 21 01 0046 3485251100 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 4108904486 00 --%%-- --%%-- s --%%-- SUBedegebs zu 31-03-22 23 01 0830 3545210898 olr-degruyter3 i z 21-11-19 24 01 0008 3806262144 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 34 01 3551 4080079494 OLR-EBAKALL-EBS Zugriff nur im Netz der HAW Hamburg z 05-03-22 65 01 0003 4418896449 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 3756763234 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 90 01 3090 3533749304 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 3544302950 OLR-DEGRUYTER Ausdruck und Kopien sind ausschließlich für den eigenen wissenschaftlichen Gebrauch gestattet z1 21-11-19 110 01 3110 3515433325 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 3569486109 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 3577971592 00 --%%-- --%%-- g --%%-- alma z 21-01-20 122 01 0897 3544694123 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 3986037705 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 09-10-21 140 01 0839 3568724081 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 3788094354 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 357121076X 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 4085597361 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 4492839216 DeGryuterEBS2024 verv zeg 28-02-24 2001 01 DE-21 3937561846 00 --%%-- --%%-- --%%-- kp l01 12-06-21 2006 01 DE-14 443368404X 00 --%%-- --%%-- --%%-- --%%-- l01 13-12-23 2010 01 DE-15 4433613290 00 --%%-- --%%-- --%%-- n Elektronischer Volltext - Campuslizenz l01 13-12-23 2020 01 DE-Ch1 4440326471 00 --%%-- --%%-- --%%-- n Campuslizenz l01 18-12-23 2027 01 DE-105 4463387248 00 --%%-- --%%-- --%%-- n Campuslizenz l01 19-01-24 2044 01 DE-751 4589162652 00 --%%-- eBook de Gruyter --%%-- n Campuslizenz bis 30.09.2025. Bitte beachten Sie die Nutzungshinweise auf unserer Homepage (de Gruyter) l01 08-10-24 2045 01 DE-Mit1 4490897634 00 --%%-- --%%-- --%%-- n Volltext - Campuslizenz l01 25-02-24 2050 01 DE-Zi4 444032648X 00 --%%-- --%%-- --%%-- n Zugriff im HSZG-Campusnetz. Zugriff von auβerhalb nur für HSZG-Angehörige. l01 18-12-23 2063 01 DE-951 3824448440 00 --%%-- eBook de Gruyter n n Elektronischer Volltext - Campuslizenz l01 12-12-20 2118 01 DE-Mh35 4444225874 00 --%%-- eBook de Gruyter --%%-- n Elektronischer Volltext - Campuslizenz l01 24-12-23 21 01 0046 https://doi.org/10.1515/9781400848751 22 01 0018 Volltextzugang Campus https://doi.org/10.1515/9781400848751 22 01 0018 Volltextzugang von außerhalb des Campus http://emedien.sub.uni-hamburg.de/han/degruyterebooks/doi.org/10.1515/9781400848751 23 01 0830 E-books (deGruyter) https://doi.org/10.1515/9781400848751 24 01 0008 https://doi.org/10.1515/9781400848751 34 01 3551 https://doi.org/10.1515/9781400848751 65 01 0003 https://doi.org/10.1515/9781400848751 69 01 0009 https://doi.org/10.1515/9781400848751 90 01 3090 https://doi.org/10.1515/9781400848751 95 01 3095 http://dx.doi.org/10.1515/9781400848751 110 01 3110 https://doi.org/10.1515/9781400848751 120 01 0715 http://dx.doi.org/10.1515/9781400848751 120 02 0715 http://49gbv-uob-primo.hosted.exlibrisgroup.com/openurl/49GBV_UOB/UOB_services_page?u.ignore_date_coverage=true&rft.mms_id=991014936551903501 122 01 0897 http://dx.doi.org/10.1515/9781400848751 130 01 0700 https://doi.org/10.1515/9781400848751 140 01 0839 http://dx.doi.org/10.1515/9781400848751 147 01 3528 https://doi.org/10.1515/9781400848751 264 01 3264 http://dx.doi.org/10.1515/9781400848751 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/9781400848751 736 01 4736 https://doi.org/10.1515/9781400848751 2001 01 DE-21 https://doi.org/10.1515/9781400848751 2006 01 DE-14 https://doi.org/10.1515/9781400848751 2010 01 DE-15 Online-Zugriff https://doi.org/10.1515/9781400848751 2020 01 DE-Ch1 https://doi.org/10.1515/9781400848751 2044 01 DE-751 https://doi.org/10.1515/9781400848751 2045 01 DE-Mit1 https://doi.org/10.1515/9781400848751 2050 01 DE-Zi4 https://doi.org/10.1515/9781400848751 2063 01 DE-951 https://doi.org/10.1515/9781400848751 2118 01 DE-Mh35 https://doi.org/10.1515/9781400848751 2001 01 DE-21 00 s eBook-DeGruyter-EBS-2021-2022 2027 01 DE-105 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 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 34 01 3551 OLR-EBAKALL-EBS 65 01 0003 DeGruyter-EBA 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 |
9781400848751 978-1-4008-4875-1 10.1515/9781400848751 doi (DE-627)1658650565 (DE-576)447053876 (DE-599)GBV807212660 (OCoLC)0867317379 (OCoLC)867317379 (ZBM)1291.03001 (EBP)005936462 (DE-B1597)453964 DE-627 ger DE-627 rakwb eng QA9 QA9.54 QA9.54 MAT 018000 bisacsh MAT018000 bisacsh CC 2600 SEPA rvk (DE-625)rvk/17610: *03-01 msc 03A05 msc 03B70 msc 03D10 msc 03D20 msc 03F03 msc 31.10 bkl Loveland, Donald W. 1934- verfasserin (DE-588)104961139X (DE-627)782375995 (DE-576)162041365 aut Three Views of Logic Mathematics, Philosophy, and Computer Science Donald W. Loveland, Richard E. Hodel, S. G. Sterrett Princeton Princeton University Press 2014 ©2014. Online-Ressource (339 p) Text txt rdacontent Computermedien c rdamedia Online-Ressource cr rdacarrier Restricted Access Controlled Vocabulary for Access Rights http://purl.org/coar/access_right/c_16ec online access with authorization star Demonstrating the different roles that logic plays in the disciplines of computer science, mathematics, and philosophy, this concise undergraduate textbook covers select topics from three different areas of logic: proof theory, computability theory, and nonclassical logic. The book balances accessibility, breadth, and rigor, and is designed so that its materials will fit into a single semester. Its distinctive presentation of traditional logic material will enhance readers' capabilities and mathematical maturity. The proof theory portion presents classical propositional logic and first-order logic using a computer-oriented (resolution) formal system. Linear resolution and its connection to the programming language Prolog are also treated. The computability component offers a machine model and mathematical model for computation, proves the equivalence of the two approaches, and includes famous decision problems unsolvable by an algorithm. The section on nonclassical logic discusses the shortcomings of classical logic in its treatment of implication and an alternate approach that improves upon it: Anderson and Belnap's relevance logic. Applications are included in each section. The material on a four-valued semantics for relevance logic is presented in textbook form for the first time. Aimed at upper-level undergraduates of moderate analytical background, Three Views of Logic will be useful in a variety of classroom settings. Gives an exceptionally broad view of logic Treats traditional logic in a modern format Presents relevance logic with applications Provides an ideal text for a variety of one-semester upper-level undergraduate courses. 2014 |2014|||||||||| 2014 In English Mathematics Linear & Nonlinear Programming Mathematics General Mathematics Philosophy Proof theory Nonclassical mathematical logic Computable functions MATHEMATICS / Logic s (DE-588)4145177-6 (DE-627)105592897 (DE-576)209739452 Beweistheorie gnd s (DE-588)4138368-0 (DE-627)105643211 (DE-576)209685441 Berechenbarkeit gnd s (DE-588)4197462-1 (DE-627)105196258 (DE-576)210115408 Nichtklassische Logik gnd (DE-627) Hodel, Richard E. (DE-588)1049612272 (DE-627)782377785 (DE-576)175346151 oth Sterrett, S. G. oth 1306282594 9780691160443 9781306282598 9781400848751 Erscheint auch als Druck-Ausgabe 1-306-28259-4 Erscheint auch als Druck-Ausgabe 978-1-306-28259-8 Erscheint auch als Druck-Ausgabe Loveland, Donald W., 1934 - Three views of logic Princeton, NJ [u.a.] : Princeton Univ. Press, 2014 XV, 322 S. (DE-627)778527107 (DE-576)407415505 0691160449 9780691160443 9781400848751 http://dx.doi.org/10.1515/9781400848751 Verlag Volltext https://doi.org/10.1515/9781400848751 X:GRUY Resolving-System lizenzpflichtig Volltext https://www.degruyter.com/isbn/9781400848751 X:GRUY Verlag lizenzpflichtig https://www.degruyter.com/doc/cover/9781400848751.jpg X:GRUY Cover https://zbmath.org/?q=an:1291.03001 B:ZBM 2021-04-12 Verlag Zentralblatt MATH Inhaltstext https://www.degruyter.com/cover/covers/9781400848751.jpg X:GRUY Verlag Cover EBA-BACKALL EBA-CL-MTPY EBA-EBACKALL EBA-EBKALL EBA-ECL-MTPY EBA-EEBKALL EBA-ESTMALL EBA-PPALL EBA-STMALL GBV-deGruyter-alles ZDB-23-DGG GBV_ILN_21 ISIL_DE-46 SYSFLAG_1 GBV_KXP SSG-OPC-MAT GBV_ILN_22 ISIL_DE-18 GBV_ILN_23 ISIL_DE-830 GBV_ILN_24 ISIL_DE-8 GBV_ILN_34 ISIL_DE-18-302 GBV_ILN_65 ISIL_DE-3 GBV_ILN_69 ISIL_DE-9 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_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 31.10 Mathematische Logik Mengenlehre SEPA (DE-627)10640847X BO 045F 511.3 045F 511.3 21 01 0046 3485251100 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 4108904486 00 --%%-- --%%-- s --%%-- SUBedegebs zu 31-03-22 23 01 0830 3545210898 olr-degruyter3 i z 21-11-19 24 01 0008 3806262144 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 34 01 3551 4080079494 OLR-EBAKALL-EBS Zugriff nur im Netz der HAW Hamburg z 05-03-22 65 01 0003 4418896449 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 3756763234 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 90 01 3090 3533749304 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 3544302950 OLR-DEGRUYTER Ausdruck und Kopien sind ausschließlich für den eigenen wissenschaftlichen Gebrauch gestattet z1 21-11-19 110 01 3110 3515433325 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 3569486109 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 3577971592 00 --%%-- --%%-- g --%%-- alma z 21-01-20 122 01 0897 3544694123 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 3986037705 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 09-10-21 140 01 0839 3568724081 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 3788094354 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 357121076X 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 4085597361 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 4492839216 DeGryuterEBS2024 verv zeg 28-02-24 2001 01 DE-21 3937561846 00 --%%-- --%%-- --%%-- kp l01 12-06-21 2006 01 DE-14 443368404X 00 --%%-- --%%-- --%%-- --%%-- l01 13-12-23 2010 01 DE-15 4433613290 00 --%%-- --%%-- --%%-- n Elektronischer Volltext - Campuslizenz l01 13-12-23 2020 01 DE-Ch1 4440326471 00 --%%-- --%%-- --%%-- n Campuslizenz l01 18-12-23 2027 01 DE-105 4463387248 00 --%%-- --%%-- --%%-- n Campuslizenz l01 19-01-24 2044 01 DE-751 4589162652 00 --%%-- eBook de Gruyter --%%-- n Campuslizenz bis 30.09.2025. Bitte beachten Sie die Nutzungshinweise auf unserer Homepage (de Gruyter) l01 08-10-24 2045 01 DE-Mit1 4490897634 00 --%%-- --%%-- --%%-- n Volltext - Campuslizenz l01 25-02-24 2050 01 DE-Zi4 444032648X 00 --%%-- --%%-- --%%-- n Zugriff im HSZG-Campusnetz. Zugriff von auβerhalb nur für HSZG-Angehörige. l01 18-12-23 2063 01 DE-951 3824448440 00 --%%-- eBook de Gruyter n n Elektronischer Volltext - Campuslizenz l01 12-12-20 2118 01 DE-Mh35 4444225874 00 --%%-- eBook de Gruyter --%%-- n Elektronischer Volltext - Campuslizenz l01 24-12-23 21 01 0046 https://doi.org/10.1515/9781400848751 22 01 0018 Volltextzugang Campus https://doi.org/10.1515/9781400848751 22 01 0018 Volltextzugang von außerhalb des Campus http://emedien.sub.uni-hamburg.de/han/degruyterebooks/doi.org/10.1515/9781400848751 23 01 0830 E-books (deGruyter) https://doi.org/10.1515/9781400848751 24 01 0008 https://doi.org/10.1515/9781400848751 34 01 3551 https://doi.org/10.1515/9781400848751 65 01 0003 https://doi.org/10.1515/9781400848751 69 01 0009 https://doi.org/10.1515/9781400848751 90 01 3090 https://doi.org/10.1515/9781400848751 95 01 3095 http://dx.doi.org/10.1515/9781400848751 110 01 3110 https://doi.org/10.1515/9781400848751 120 01 0715 http://dx.doi.org/10.1515/9781400848751 120 02 0715 http://49gbv-uob-primo.hosted.exlibrisgroup.com/openurl/49GBV_UOB/UOB_services_page?u.ignore_date_coverage=true&rft.mms_id=991014936551903501 122 01 0897 http://dx.doi.org/10.1515/9781400848751 130 01 0700 https://doi.org/10.1515/9781400848751 140 01 0839 http://dx.doi.org/10.1515/9781400848751 147 01 3528 https://doi.org/10.1515/9781400848751 264 01 3264 http://dx.doi.org/10.1515/9781400848751 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/9781400848751 736 01 4736 https://doi.org/10.1515/9781400848751 2001 01 DE-21 https://doi.org/10.1515/9781400848751 2006 01 DE-14 https://doi.org/10.1515/9781400848751 2010 01 DE-15 Online-Zugriff https://doi.org/10.1515/9781400848751 2020 01 DE-Ch1 https://doi.org/10.1515/9781400848751 2044 01 DE-751 https://doi.org/10.1515/9781400848751 2045 01 DE-Mit1 https://doi.org/10.1515/9781400848751 2050 01 DE-Zi4 https://doi.org/10.1515/9781400848751 2063 01 DE-951 https://doi.org/10.1515/9781400848751 2118 01 DE-Mh35 https://doi.org/10.1515/9781400848751 2001 01 DE-21 00 s eBook-DeGruyter-EBS-2021-2022 2027 01 DE-105 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 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 34 01 3551 OLR-EBAKALL-EBS 65 01 0003 DeGruyter-EBA 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 34 65 69 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 2118:0 |
| bklname |
Mathematische Logik Mengenlehre |
| institution |
findex.gbv.de |
| selectbib_iln_str_mv |
21@za 22@u 23@ 24@ 34@ 65@ 69@ 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 2118@01 |
| topic_facet |
Mathematics Proof theory Nonclassical mathematical logic Computable functions MATHEMATICS / Logic Linear & Nonlinear Programming General Philosophy Beweistheorie Berechenbarkeit Nichtklassische Logik |
| sw_local_iln_str_mv |
2001:eBook-DeGruyter-EBS-2021-2022 DE-21:eBook-DeGruyter-EBS-2021-2022 2027:ebook DE-105:ebook |
| isfreeaccess_bool |
false |
| authorswithroles_txt_mv |
Loveland, Donald W. @@aut@@ Hodel, Richard E. @@oth@@ Sterrett, S. G. @@oth@@ |
| publishDateDaySort_date |
2014-01-01T00:00:00Z |
| id |
1658650565 |
| signature_iln |
2044:eBook de Gruyter DE-751:eBook de Gruyter 2063:eBook de Gruyter DE-951:eBook de Gruyter 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 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 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 a22002652 4500</leader><controlfield tag="001">1658650565</controlfield><controlfield tag="003">DE-627</controlfield><controlfield tag="005">20241008133526.0</controlfield><controlfield tag="007">cr uuu---uuuuu</controlfield><controlfield tag="008">151022r20142014xx |||||o 00| ||eng c</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781400848751</subfield><subfield code="9">978-1-4008-4875-1</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1515/9781400848751</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-627)1658650565</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-576)447053876</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)GBV807212660</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)0867317379</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)867317379</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZBM)1291.03001</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(EBP)005936462</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-B1597)453964</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">rakwb</subfield></datafield><datafield tag="041" ind1=" " ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA9</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA9.54</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA9.54</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">MAT 018000</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">MAT018000</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">*03-01</subfield><subfield code="2">msc</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">03A05</subfield><subfield code="2">msc</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">03B70</subfield><subfield code="2">msc</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">03D10</subfield><subfield code="2">msc</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">03D20</subfield><subfield code="2">msc</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">03F03</subfield><subfield code="2">msc</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">31.10</subfield><subfield code="2">bkl</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Loveland, Donald W.</subfield><subfield code="d">1934-</subfield><subfield code="e">verfasserin</subfield><subfield code="0">(DE-588)104961139X</subfield><subfield code="0">(DE-627)782375995</subfield><subfield code="0">(DE-576)162041365</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Three Views of Logic</subfield><subfield code="b">Mathematics, Philosophy, and Computer Science</subfield><subfield code="c">Donald W. Loveland, Richard E. Hodel, S. G. Sterrett</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Princeton</subfield><subfield code="b">Princeton University Press</subfield><subfield code="c">2014</subfield></datafield><datafield tag="264" ind1=" " ind2="4"><subfield code="c">©2014.</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">Online-Ressource (339 p)</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="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">Demonstrating the different roles that logic plays in the disciplines of computer science, mathematics, and philosophy, this concise undergraduate textbook covers select topics from three different areas of logic: proof theory, computability theory, and nonclassical logic. The book balances accessibility, breadth, and rigor, and is designed so that its materials will fit into a single semester. Its distinctive presentation of traditional logic material will enhance readers' capabilities and mathematical maturity. The proof theory portion presents classical propositional logic and first-order logic using a computer-oriented (resolution) formal system. Linear resolution and its connection to the programming language Prolog are also treated. The computability component offers a machine model and mathematical model for computation, proves the equivalence of the two approaches, and includes famous decision problems unsolvable by an algorithm. The section on nonclassical logic discusses the shortcomings of classical logic in its treatment of implication and an alternate approach that improves upon it: Anderson and Belnap's relevance logic. Applications are included in each section. The material on a four-valued semantics for relevance logic is presented in textbook form for the first time. Aimed at upper-level undergraduates of moderate analytical background, Three Views of Logic will be useful in a variety of classroom settings. Gives an exceptionally broad view of logic Treats traditional logic in a modern format Presents relevance logic with applications Provides an ideal text for a variety of one-semester upper-level undergraduate courses.</subfield></datafield><datafield tag="533" ind1=" " ind2=" "><subfield code="d">2014</subfield><subfield code="7">|2014||||||||||</subfield></datafield><datafield tag="534" ind1=" " ind2=" "><subfield code="c">2014</subfield></datafield><datafield tag="546" ind1=" " ind2=" "><subfield code="a">In English</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Mathematics</subfield><subfield code="x">Linear & Nonlinear Programming</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Mathematics</subfield><subfield code="x">General</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Mathematics</subfield><subfield code="x">Philosophy</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Proof theory</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Nonclassical mathematical logic</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Computable functions</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">MATHEMATICS / Logic</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="D">s</subfield><subfield code="0">(DE-588)4145177-6</subfield><subfield code="0">(DE-627)105592897</subfield><subfield code="0">(DE-576)209739452</subfield><subfield code="a">Beweistheorie</subfield><subfield code="2">gnd</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="D">s</subfield><subfield code="0">(DE-588)4138368-0</subfield><subfield code="0">(DE-627)105643211</subfield><subfield code="0">(DE-576)209685441</subfield><subfield code="a">Berechenbarkeit</subfield><subfield code="2">gnd</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="D">s</subfield><subfield code="0">(DE-588)4197462-1</subfield><subfield code="0">(DE-627)105196258</subfield><subfield code="0">(DE-576)210115408</subfield><subfield code="a">Nichtklassische Logik</subfield><subfield code="2">gnd</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">(DE-627)</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Hodel, Richard E.</subfield><subfield code="0">(DE-588)1049612272</subfield><subfield code="0">(DE-627)782377785</subfield><subfield code="0">(DE-576)175346151</subfield><subfield code="4">oth</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Sterrett, S. G.</subfield><subfield code="4">oth</subfield></datafield><datafield tag="776" ind1="1" ind2=" "><subfield code="z">1306282594</subfield></datafield><datafield tag="776" ind1="1" ind2=" "><subfield code="z">9780691160443</subfield></datafield><datafield tag="776" ind1="1" ind2=" "><subfield code="z">9781306282598</subfield></datafield><datafield tag="776" ind1="1" ind2=" "><subfield code="z">9781400848751</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">1-306-28259-4</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">978-1-306-28259-8</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">Loveland, Donald W., 1934 - </subfield><subfield code="t">Three views of logic</subfield><subfield code="d">Princeton, NJ [u.a.] : Princeton Univ. Press, 2014</subfield><subfield code="h">XV, 322 S.</subfield><subfield code="w">(DE-627)778527107</subfield><subfield code="w">(DE-576)407415505</subfield><subfield code="z">0691160449</subfield><subfield code="z">9780691160443</subfield><subfield code="z">9781400848751</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">http://dx.doi.org/10.1515/9781400848751</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/9781400848751</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/9781400848751</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/9781400848751.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://zbmath.org/?q=an:1291.03001</subfield><subfield code="m">B:ZBM</subfield><subfield code="v">2021-04-12</subfield><subfield code="x">Verlag</subfield><subfield code="y">Zentralblatt MATH</subfield><subfield code="3">Inhaltstext</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="u">https://www.degruyter.com/cover/covers/9781400848751.jpg</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">EBA-BACKALL</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">EBA-CL-MTPY</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-ECL-MTPY</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">EBA-EEBKALL</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-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">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">SSG-OPC-MAT</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_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_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_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="b" ind2="k"><subfield code="a">31.10</subfield><subfield code="j">Mathematische Logik</subfield><subfield code="j">Mengenlehre</subfield><subfield code="q">SEPA</subfield><subfield code="0">(DE-627)10640847X</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.3</subfield></datafield><datafield tag="953" ind1=" " ind2=" "><subfield code="2">045F</subfield><subfield code="a">511.3</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">3485251100</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">4108904486</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">31-03-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">3545210898</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">3806262144</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">34</subfield><subfield code="1">01</subfield><subfield code="x">3551</subfield><subfield code="b">4080079494</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">05-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">4418896449</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">3756763234</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">90</subfield><subfield code="1">01</subfield><subfield code="x">3090</subfield><subfield code="b">3533749304</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">3544302950</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">3515433325</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">3569486109</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">3577971592</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">21-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">3544694123</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">3986037705</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">09-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">3568724081</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">3788094354</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">357121076X</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">4085597361</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">4492839216</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">3937561846</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">443368404X</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">13-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">4433613290</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">13-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">4440326471</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-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">4463387248</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">19-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">4589162652</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">08-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">4490897634</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">444032648X</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">18-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">3824448440</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">12-12-20</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">4444225874</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">24-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/9781400848751</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/9781400848751</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/9781400848751</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/9781400848751</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/9781400848751</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/9781400848751</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/9781400848751</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/9781400848751</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/9781400848751</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/9781400848751</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/9781400848751</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/9781400848751</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=991014936551903501</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/9781400848751</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/9781400848751</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/9781400848751</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/9781400848751</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/9781400848751</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/9781400848751</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/9781400848751</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/9781400848751</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://doi.org/10.1515/9781400848751</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://doi.org/10.1515/9781400848751</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/9781400848751</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/9781400848751</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/9781400848751</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/9781400848751</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/9781400848751</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/9781400848751</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="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="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">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">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 |
| 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:--%%-- 2118:--%%-- DE-Mh35:--%%-- |
| author |
Loveland, Donald W. 1934- |
| spellingShingle |
Loveland, Donald W. 1934- misc QA9 misc QA9.54 rvk CC 2600 msc *03-01 msc 03A05 msc 03B70 msc 03D10 msc 03D20 msc 03F03 bkl 31.10 misc Mathematics misc Proof theory misc Nonclassical mathematical logic misc Computable functions misc MATHEMATICS / Logic gnd Beweistheorie gnd Berechenbarkeit gnd Nichtklassische Logik 2001 eBook-DeGruyter-EBS-2021-2022 2027 ebook Three Views of Logic Mathematics, Philosophy, and Computer Science |
| authorStr |
Loveland, Donald W. 1934- |
| ppnlink_with_tag_str_mv |
@@776@@(DE-627)778527107 |
| format |
eBook |
| delete_txt_mv |
keep |
| author_role |
aut |
| collection |
KXP GVK SWB |
| publishPlace |
Princeton |
| remote_str |
true |
| abrufzeichen_iln_str_mv |
21@ebook_2023_degruyter_ebs 21@ebm 22@SUBedegebs 23@olr-degruyter3 24@olr-dgebs 34@OLR-EBAKALL-EBS 65@DeGruyter-EBA 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 34@OLR-EBAKALL-EBS 65@DeGruyter-EBA 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 |
QA9 |
| last_changed_iln_str_mv |
21@11-06-19 22@31-03-22 23@21-11-19 24@18-11-20 34@05-03-22 65@27-11-23 69@17-09-20 90@01-11-19 95@21-11-19 110@13-09-19 120@21-12-19 120@21-01-20 122@21-11-19 130@09-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@13-12-23 2010@13-12-23 2020@18-12-23 2027@19-01-24 2044@08-10-24 2045@25-02-24 2050@18-12-23 2063@12-12-20 2118@24-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 |
QA9 QA9.54 CC 2600 SEPA rvk (DE-625)rvk/17610 *03-01 msc 03A05 msc 03B70 msc 03D10 msc 03D20 msc 03F03 msc 31.10 bkl 2001 01 DE-21 00 s eBook-DeGruyter-EBS-2021-2022 2027 01 DE-105 00 s ebook Three Views of Logic Mathematics, Philosophy, and Computer Science Donald W. Loveland, Richard E. Hodel, S. G. Sterrett Mathematics Linear & Nonlinear Programming Mathematics General Mathematics Philosophy Proof theory Nonclassical mathematical logic Computable functions MATHEMATICS / Logic s (DE-588)4145177-6 (DE-627)105592897 (DE-576)209739452 Beweistheorie gnd s (DE-588)4138368-0 (DE-627)105643211 (DE-576)209685441 Berechenbarkeit gnd s (DE-588)4197462-1 (DE-627)105196258 (DE-576)210115408 Nichtklassische Logik gnd (DE-627) |
| publisher |
Princeton University Press |
| publisherStr |
Princeton University Press |
| topic |
misc QA9 misc QA9.54 rvk CC 2600 msc *03-01 msc 03A05 msc 03B70 msc 03D10 msc 03D20 msc 03F03 bkl 31.10 misc Mathematics misc Proof theory misc Nonclassical mathematical logic misc Computable functions misc MATHEMATICS / Logic gnd Beweistheorie gnd Berechenbarkeit gnd Nichtklassische Logik 2001 eBook-DeGruyter-EBS-2021-2022 2027 ebook |
| topic_unstemmed |
misc QA9 misc QA9.54 rvk CC 2600 msc *03-01 msc 03A05 msc 03B70 msc 03D10 msc 03D20 msc 03F03 bkl 31.10 misc Mathematics misc Proof theory misc Nonclassical mathematical logic misc Computable functions misc MATHEMATICS / Logic gnd Beweistheorie gnd Berechenbarkeit gnd Nichtklassische Logik 2001 eBook-DeGruyter-EBS-2021-2022 2027 ebook |
| topic_browse |
misc QA9 misc QA9.54 rvk CC 2600 msc *03-01 msc 03A05 msc 03B70 msc 03D10 msc 03D20 msc 03F03 bkl 31.10 misc Mathematics misc Proof theory misc Nonclassical mathematical logic misc Computable functions misc MATHEMATICS / Logic gnd Beweistheorie gnd Berechenbarkeit gnd Nichtklassische Logik 2001 eBook-DeGruyter-EBS-2021-2022 2027 ebook |
| format_facet |
Elektronische Bücher Bücher Elektronische Ressource |
| standort_txtP_mv |
--%%-- |
| format_main_str_mv |
Text Buch |
| carriertype_str_mv |
cr |
| author2_variant |
r e h re reh s g s sg sgs |
| signature |
--%%-- eBook de Gruyter |
| signature_str_mv |
--%%-- eBook de Gruyter |
| isbn |
9781400848751 140084875X 1306282594 9781306282598 9780691160443 0691160449 |
| isfreeaccess_txt |
false |
| normlinkwithrole_str_mv |
(DE-588)104961139X@@aut@@ (DE-588)4145177-6@@689@@ (DE-588)4138368-0@@689@@ (DE-588)4197462-1@@689@@ (DE-588)1049612272@@oth@@ |
| title |
Three Views of Logic Mathematics, Philosophy, and Computer Science |
| ctrlnum |
(DE-627)1658650565 (DE-576)447053876 (DE-599)GBV807212660 (OCoLC)0867317379 (OCoLC)867317379 (ZBM)1291.03001 (EBP)005936462 (DE-B1597)453964 |
| 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). 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. 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 |
Three Views of Logic Mathematics, Philosophy, and Computer Science Donald W. Loveland, Richard E. Hodel, S. G. Sterrett |
| author_sort |
Loveland, Donald W. 1934- |
| 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 |
2014 |
| 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 |
Loveland, Donald W. |
| selectkey |
21:z 22:z 23:z 24:z 34:z 65:z 69: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 2118:l |
| physical |
Online-Ressource (339 p) |
| class |
QA9 QA9.54 CC 2600 SEPA rvk (DE-625)rvk/17610 *03-01 msc 03A05 msc 03B70 msc 03D10 msc 03D20 msc 03F03 msc 31.10 bkl 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 |
Loveland, Donald W. |
| title_sub |
Mathematics, Philosophy, and Computer Science |
| classname_local_iln_str_mv |
120: DE-715: 2063: DE-951: |
| doi_str_mv |
10.1515/9781400848751 |
| normlink |
RVK/17610: 104961139X 782375995 162041365 4145177-6 105592897 209739452 4138368-0 105643211 209685441 4197462-1 105196258 210115408 1049612272 782377785 175346151 1270638734 200638734 10640847X 1384640894 1478403012 |
| normlink_prefix_str_mv |
(DE-625)rvk/17610: (DE-588)104961139X (DE-627)782375995 (DE-576)162041365 (DE-588)4145177-6 (DE-627)105592897 (DE-576)209739452 (DE-588)4138368-0 (DE-627)105643211 (DE-576)209685441 (DE-588)4197462-1 (DE-627)105196258 (DE-576)210115408 (DE-588)1049612272 (DE-627)782377785 (DE-576)175346151 (DE-627)1270638734 (DE-576)200638734 (DE-627)10640847X (DE-627)1384640894 (DE-627)1478403012 |
| title_sort |
three views of logicmathematics, philosophy, and computer science |
| callnumber |
QA9 |
| title_auth |
Three Views of Logic Mathematics, Philosophy, and Computer Science |
| abstract |
Demonstrating the different roles that logic plays in the disciplines of computer science, mathematics, and philosophy, this concise undergraduate textbook covers select topics from three different areas of logic: proof theory, computability theory, and nonclassical logic. The book balances accessibility, breadth, and rigor, and is designed so that its materials will fit into a single semester. Its distinctive presentation of traditional logic material will enhance readers' capabilities and mathematical maturity. The proof theory portion presents classical propositional logic and first-order logic using a computer-oriented (resolution) formal system. Linear resolution and its connection to the programming language Prolog are also treated. The computability component offers a machine model and mathematical model for computation, proves the equivalence of the two approaches, and includes famous decision problems unsolvable by an algorithm. The section on nonclassical logic discusses the shortcomings of classical logic in its treatment of implication and an alternate approach that improves upon it: Anderson and Belnap's relevance logic. Applications are included in each section. The material on a four-valued semantics for relevance logic is presented in textbook form for the first time. Aimed at upper-level undergraduates of moderate analytical background, Three Views of Logic will be useful in a variety of classroom settings. Gives an exceptionally broad view of logic Treats traditional logic in a modern format Presents relevance logic with applications Provides an ideal text for a variety of one-semester upper-level undergraduate courses. |
| abstractGer |
Demonstrating the different roles that logic plays in the disciplines of computer science, mathematics, and philosophy, this concise undergraduate textbook covers select topics from three different areas of logic: proof theory, computability theory, and nonclassical logic. The book balances accessibility, breadth, and rigor, and is designed so that its materials will fit into a single semester. Its distinctive presentation of traditional logic material will enhance readers' capabilities and mathematical maturity. The proof theory portion presents classical propositional logic and first-order logic using a computer-oriented (resolution) formal system. Linear resolution and its connection to the programming language Prolog are also treated. The computability component offers a machine model and mathematical model for computation, proves the equivalence of the two approaches, and includes famous decision problems unsolvable by an algorithm. The section on nonclassical logic discusses the shortcomings of classical logic in its treatment of implication and an alternate approach that improves upon it: Anderson and Belnap's relevance logic. Applications are included in each section. The material on a four-valued semantics for relevance logic is presented in textbook form for the first time. Aimed at upper-level undergraduates of moderate analytical background, Three Views of Logic will be useful in a variety of classroom settings. Gives an exceptionally broad view of logic Treats traditional logic in a modern format Presents relevance logic with applications Provides an ideal text for a variety of one-semester upper-level undergraduate courses. |
| abstract_unstemmed |
Demonstrating the different roles that logic plays in the disciplines of computer science, mathematics, and philosophy, this concise undergraduate textbook covers select topics from three different areas of logic: proof theory, computability theory, and nonclassical logic. The book balances accessibility, breadth, and rigor, and is designed so that its materials will fit into a single semester. Its distinctive presentation of traditional logic material will enhance readers' capabilities and mathematical maturity. The proof theory portion presents classical propositional logic and first-order logic using a computer-oriented (resolution) formal system. Linear resolution and its connection to the programming language Prolog are also treated. The computability component offers a machine model and mathematical model for computation, proves the equivalence of the two approaches, and includes famous decision problems unsolvable by an algorithm. The section on nonclassical logic discusses the shortcomings of classical logic in its treatment of implication and an alternate approach that improves upon it: Anderson and Belnap's relevance logic. Applications are included in each section. The material on a four-valued semantics for relevance logic is presented in textbook form for the first time. Aimed at upper-level undergraduates of moderate analytical background, Three Views of Logic will be useful in a variety of classroom settings. Gives an exceptionally broad view of logic Treats traditional logic in a modern format Presents relevance logic with applications Provides an ideal text for a variety of one-semester upper-level undergraduate courses. |
| collection_details |
EBA-BACKALL EBA-CL-MTPY EBA-EBACKALL EBA-EBKALL EBA-ECL-MTPY EBA-EEBKALL EBA-ESTMALL EBA-PPALL EBA-STMALL GBV-deGruyter-alles ZDB-23-DGG GBV_ILN_21 ISIL_DE-46 SYSFLAG_1 GBV_KXP SSG-OPC-MAT GBV_ILN_22 ISIL_DE-18 GBV_ILN_23 ISIL_DE-830 GBV_ILN_24 ISIL_DE-8 GBV_ILN_34 ISIL_DE-18-302 GBV_ILN_65 ISIL_DE-3 GBV_ILN_69 ISIL_DE-9 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_2118 ISIL_DE-Mh35 |
| title_short |
Three Views of Logic |
| url |
http://dx.doi.org/10.1515/9781400848751 https://doi.org/10.1515/9781400848751 https://www.degruyter.com/isbn/9781400848751 https://www.degruyter.com/doc/cover/9781400848751.jpg https://zbmath.org/?q=an:1291.03001 https://www.degruyter.com/cover/covers/9781400848751.jpg |
| ausleihindikator_str_mv |
21 22:s 23 24:s 34 65 69 90 95 110 120 120:g 122 130:s 140 147 264 370 736 2001:- 2006:- 2010:- 2020:- 2027:- 2044:- 2045:- 2050:- 2063:n 2118:- |
| rolewithnormlink_str_mv |
@@aut@@(DE-588)104961139X @@689@@(DE-588)4145177-6 @@689@@(DE-588)4138368-0 @@689@@(DE-588)4197462-1 @@oth@@(DE-588)1049612272 |
| remote_bool |
true |
| author2 |
Hodel, Richard E. Sterrett, S. G. |
| author2Str |
Hodel, Richard E. Sterrett, S. G. |
| ppnlink |
778527107 |
| callnumber-subject |
QA - Mathematics |
| mediatype_str_mv |
c |
| isOA_txt |
false |
| hochschulschrift_bool |
false |
| author2_role |
oth oth |
| doi_str |
10.1515/9781400848751 |
| callnumber-a |
QA9 |
| up_date |
2024-10-13T07:06:09.725Z |
| _version_ |
1812781512502804480 |
| fullrecord_marcxml |
<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01000cam a22002652 4500</leader><controlfield tag="001">1658650565</controlfield><controlfield tag="003">DE-627</controlfield><controlfield tag="005">20241008133526.0</controlfield><controlfield tag="007">cr uuu---uuuuu</controlfield><controlfield tag="008">151022r20142014xx |||||o 00| ||eng c</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781400848751</subfield><subfield code="9">978-1-4008-4875-1</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1515/9781400848751</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-627)1658650565</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-576)447053876</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)GBV807212660</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)0867317379</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)867317379</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZBM)1291.03001</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(EBP)005936462</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-B1597)453964</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">rakwb</subfield></datafield><datafield tag="041" ind1=" " ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA9</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA9.54</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA9.54</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">MAT 018000</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">MAT018000</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">*03-01</subfield><subfield code="2">msc</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">03A05</subfield><subfield code="2">msc</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">03B70</subfield><subfield code="2">msc</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">03D10</subfield><subfield code="2">msc</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">03D20</subfield><subfield code="2">msc</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">03F03</subfield><subfield code="2">msc</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">31.10</subfield><subfield code="2">bkl</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Loveland, Donald W.</subfield><subfield code="d">1934-</subfield><subfield code="e">verfasserin</subfield><subfield code="0">(DE-588)104961139X</subfield><subfield code="0">(DE-627)782375995</subfield><subfield code="0">(DE-576)162041365</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Three Views of Logic</subfield><subfield code="b">Mathematics, Philosophy, and Computer Science</subfield><subfield code="c">Donald W. Loveland, Richard E. Hodel, S. G. Sterrett</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Princeton</subfield><subfield code="b">Princeton University Press</subfield><subfield code="c">2014</subfield></datafield><datafield tag="264" ind1=" " ind2="4"><subfield code="c">©2014.</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">Online-Ressource (339 p)</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="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">Demonstrating the different roles that logic plays in the disciplines of computer science, mathematics, and philosophy, this concise undergraduate textbook covers select topics from three different areas of logic: proof theory, computability theory, and nonclassical logic. The book balances accessibility, breadth, and rigor, and is designed so that its materials will fit into a single semester. Its distinctive presentation of traditional logic material will enhance readers' capabilities and mathematical maturity. The proof theory portion presents classical propositional logic and first-order logic using a computer-oriented (resolution) formal system. Linear resolution and its connection to the programming language Prolog are also treated. The computability component offers a machine model and mathematical model for computation, proves the equivalence of the two approaches, and includes famous decision problems unsolvable by an algorithm. The section on nonclassical logic discusses the shortcomings of classical logic in its treatment of implication and an alternate approach that improves upon it: Anderson and Belnap's relevance logic. Applications are included in each section. The material on a four-valued semantics for relevance logic is presented in textbook form for the first time. Aimed at upper-level undergraduates of moderate analytical background, Three Views of Logic will be useful in a variety of classroom settings. Gives an exceptionally broad view of logic Treats traditional logic in a modern format Presents relevance logic with applications Provides an ideal text for a variety of one-semester upper-level undergraduate courses.</subfield></datafield><datafield tag="533" ind1=" " ind2=" "><subfield code="d">2014</subfield><subfield code="7">|2014||||||||||</subfield></datafield><datafield tag="534" ind1=" " ind2=" "><subfield code="c">2014</subfield></datafield><datafield tag="546" ind1=" " ind2=" "><subfield code="a">In English</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Mathematics</subfield><subfield code="x">Linear & Nonlinear Programming</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Mathematics</subfield><subfield code="x">General</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Mathematics</subfield><subfield code="x">Philosophy</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Proof theory</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Nonclassical mathematical logic</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Computable functions</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">MATHEMATICS / Logic</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="D">s</subfield><subfield code="0">(DE-588)4145177-6</subfield><subfield code="0">(DE-627)105592897</subfield><subfield code="0">(DE-576)209739452</subfield><subfield code="a">Beweistheorie</subfield><subfield code="2">gnd</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="D">s</subfield><subfield code="0">(DE-588)4138368-0</subfield><subfield code="0">(DE-627)105643211</subfield><subfield code="0">(DE-576)209685441</subfield><subfield code="a">Berechenbarkeit</subfield><subfield code="2">gnd</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="D">s</subfield><subfield code="0">(DE-588)4197462-1</subfield><subfield code="0">(DE-627)105196258</subfield><subfield code="0">(DE-576)210115408</subfield><subfield code="a">Nichtklassische Logik</subfield><subfield code="2">gnd</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">(DE-627)</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Hodel, Richard E.</subfield><subfield code="0">(DE-588)1049612272</subfield><subfield code="0">(DE-627)782377785</subfield><subfield code="0">(DE-576)175346151</subfield><subfield code="4">oth</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Sterrett, S. G.</subfield><subfield code="4">oth</subfield></datafield><datafield tag="776" ind1="1" ind2=" "><subfield code="z">1306282594</subfield></datafield><datafield tag="776" ind1="1" ind2=" "><subfield code="z">9780691160443</subfield></datafield><datafield tag="776" ind1="1" ind2=" "><subfield code="z">9781306282598</subfield></datafield><datafield tag="776" ind1="1" ind2=" "><subfield code="z">9781400848751</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">1-306-28259-4</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">978-1-306-28259-8</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">Loveland, Donald W., 1934 - </subfield><subfield code="t">Three views of logic</subfield><subfield code="d">Princeton, NJ [u.a.] : Princeton Univ. Press, 2014</subfield><subfield code="h">XV, 322 S.</subfield><subfield code="w">(DE-627)778527107</subfield><subfield code="w">(DE-576)407415505</subfield><subfield code="z">0691160449</subfield><subfield code="z">9780691160443</subfield><subfield code="z">9781400848751</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">http://dx.doi.org/10.1515/9781400848751</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/9781400848751</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/9781400848751</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/9781400848751.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://zbmath.org/?q=an:1291.03001</subfield><subfield code="m">B:ZBM</subfield><subfield code="v">2021-04-12</subfield><subfield code="x">Verlag</subfield><subfield code="y">Zentralblatt MATH</subfield><subfield code="3">Inhaltstext</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="u">https://www.degruyter.com/cover/covers/9781400848751.jpg</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">EBA-BACKALL</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">EBA-CL-MTPY</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-ECL-MTPY</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">EBA-EEBKALL</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-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">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">SSG-OPC-MAT</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_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_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_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="b" ind2="k"><subfield code="a">31.10</subfield><subfield code="j">Mathematische Logik</subfield><subfield code="j">Mengenlehre</subfield><subfield code="q">SEPA</subfield><subfield code="0">(DE-627)10640847X</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.3</subfield></datafield><datafield tag="953" ind1=" " ind2=" "><subfield code="2">045F</subfield><subfield code="a">511.3</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">3485251100</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">4108904486</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">31-03-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">3545210898</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">3806262144</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">34</subfield><subfield code="1">01</subfield><subfield code="x">3551</subfield><subfield code="b">4080079494</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">05-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">4418896449</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">3756763234</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">90</subfield><subfield code="1">01</subfield><subfield code="x">3090</subfield><subfield code="b">3533749304</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">3544302950</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">3515433325</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">3569486109</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">3577971592</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">21-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">3544694123</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">3986037705</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">09-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">3568724081</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">3788094354</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">357121076X</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">4085597361</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">4492839216</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">3937561846</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">443368404X</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">13-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">4433613290</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">13-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">4440326471</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-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">4463387248</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">19-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">4589162652</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">08-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">4490897634</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">444032648X</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">18-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">3824448440</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">12-12-20</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">4444225874</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">24-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/9781400848751</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/9781400848751</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/9781400848751</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/9781400848751</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/9781400848751</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/9781400848751</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/9781400848751</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/9781400848751</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/9781400848751</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/9781400848751</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/9781400848751</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/9781400848751</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=991014936551903501</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/9781400848751</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/9781400848751</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/9781400848751</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/9781400848751</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/9781400848751</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/9781400848751</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/9781400848751</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/9781400848751</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://doi.org/10.1515/9781400848751</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://doi.org/10.1515/9781400848751</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/9781400848751</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/9781400848751</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/9781400848751</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/9781400848751</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/9781400848751</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/9781400848751</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="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="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">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">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.01248 |