Gespeichert in:
| Titel: | Foundations of mathematical logic |
|---|---|
| Von: |
Haskell B. Curry
|
| Person: |
Curry, Haskell B.
1900-1982 Verfasser aut |
| Hauptverfasser: | |
| Format: | Buch |
| Sprache: | Englisch |
| Veröffentlicht: |
New York
Dover Publ.
1977
|
| Ausgabe: | Unabridged and corr. republ. |
| Notation: | SK 130 ST 130 |
| Schlagwörter: | |
| Medienzugang: | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=001823860&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| Umfang: | VIII, 408 S. |
| ISBN: | 0486634620 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV002913198 | ||
| 003 | DE-604 | ||
| 005 | 20210920 | ||
| 007 | t| | ||
| 008 | 900725s1977 xx |||| 00||| eng d | ||
| 020 | |a 0486634620 |9 0-486-63462-0 | ||
| 035 | |a (OCoLC)3186347 | ||
| 035 | |a (DE-599)BVBBV002913198 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-384 |a DE-739 |a DE-824 |a DE-29 |a DE-706 |a DE-11 |a DE-188 |a DE-83 |a DE-355 | ||
| 050 | 0 | |a QA9 | |
| 082 | 0 | |a 511/.3 | |
| 084 | |a SK 130 |0 (DE-625)143216: |2 rvk | ||
| 084 | |a ST 130 |0 (DE-625)143588: |2 rvk | ||
| 084 | |a 03-01 |2 msc | ||
| 100 | 1 | |a Curry, Haskell B. |d 1900-1982 |e Verfasser |0 (DE-588)12283643X |4 aut | |
| 245 | 1 | 0 | |a Foundations of mathematical logic |c Haskell B. Curry |
| 250 | |a Unabridged and corr. republ. | ||
| 264 | 1 | |a New York |b Dover Publ. |c 1977 | |
| 300 | |a VIII, 408 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 650 | 7 | |a Lógica matemática (textos avançados) |2 larpcal | |
| 650 | 7 | |a Lógica simbólica (textos avançados) |2 larpcal | |
| 650 | 4 | |a Logic, Symbolic and mathematical | |
| 650 | 0 | 7 | |a Mathematische Logik |0 (DE-588)4037951-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Grundlage |0 (DE-588)4158388-7 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Aussagenlogik |0 (DE-588)4136098-9 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)4151278-9 |a Einführung |2 gnd-content | |
| 689 | 0 | 0 | |a Aussagenlogik |0 (DE-588)4136098-9 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Mathematische Logik |0 (DE-588)4037951-6 |D s |
| 689 | 1 | 1 | |a Grundlage |0 (DE-588)4158388-7 |D s |
| 689 | 1 | |8 1\p |5 DE-604 | |
| 856 | 4 | 2 | |m Digitalisierung UB Regensburg - ADAM Catalogue Enrichment |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=001823860&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-001823860 | |
Datensatz im Suchindex
| DE-BY-UBR_call_number | 40/QH 120 C976 F7 |
|---|---|
| DE-BY-UBR_katkey | 6445325 |
| DE-BY-UBR_location | UB Lesesaal Wirtschaft |
| DE-BY-UBR_media_number | 069043556944 |
| _version_ | 1835109481333129216 |
| adam_text | CONTENTS Preface, iii Explanation of Conventions, vii CHAPTER 1. INTRODUCTION, 1 A. The nature of mathematical logic, 1 R. The logical antinomies, 3 C. The nature of mathematics, 8 D. Mathematics and logie, 16 S. Supplementary topics, 19 CHAPTER 2. FORMAL SYSTEMS, 28 A. Preliminaries, 28 B. Theories, 45 C. Systems, 50 D. Special forms of systems, 64 E. Algorithms, 70 S. Supplementary topics, 82 CHAPTER 3. EP1TIIEORY, 93 A. The nature of epitheory, 93 B. Replacement and monotone relations, 101 C. The theory of definition, 106 D. Variables, 111 S, Supplementary topics, 120 CHAPTER 4. RELATIONAL LOGICAL ALGEBRA, 125 A, Logical algebras in general. 125 B. Lattices, 131 C, Skoleni lattices, 139 D. Classical Skolem lattices, 149 S. Supplementary topics, 158 CHAPTER 5. THE THEORY OF IMPLICATION, 165 A. General principles of assertional logical algebra, 166 B. Propositional algebras, 175 C. The systems LA and LC, 184 D. Equivalence of the systems, 203 E. L deducibility, 225 S. Supplementary topics, 245 CHAPTER 6. NEGATION, 254 A. The nature of negation, 254 B. ն systems for negation, 261 C. Other formulations of negation, 280 D. Technique of classical negation, 288 S. Supplementary topics, 305 CHAPTER 7. QUANTIFICATION, 311 A. Formulation, 312 B. Theory of the L* systems, 324 C. Other forms of quantification theory, 342 D. Classical epitheory, 349 S. Supplementary topics, 356 CHAPTER 8. MODALITY, 359 A. Formulation of necessity, 359 B. The L theory of necessity, 362 C. The T and H formulations of necessity, 365 S. Supplementary topics, 367 Bibliography, 369 Index, 391
|
| any_adam_object | 1 |
| author | Curry, Haskell B. 1900-1982 |
| author_GND | (DE-588)12283643X |
| author_facet | Curry, Haskell B. 1900-1982 |
| author_role | aut |
| author_sort | Curry, Haskell B. 1900-1982 |
| author_variant | h b c hb hbc |
| building | Verbundindex |
| bvnumber | BV002913198 |
| callnumber-first | Q - Science |
| callnumber-label | QA9 |
| callnumber-raw | QA9 |
| callnumber-search | QA9 |
| callnumber-sort | QA 19 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | SK 130 ST 130 |
| ctrlnum | (OCoLC)3186347 (DE-599)BVBBV002913198 |
| dewey-full | 511/.3 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 511 - General principles of mathematics |
| dewey-raw | 511/.3 |
| dewey-search | 511/.3 |
| dewey-sort | 3511 13 |
| dewey-tens | 510 - Mathematics |
| discipline | Informatik Mathematik |
| edition | Unabridged and corr. republ. |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01999nam a2200493 c 4500</leader><controlfield tag="001">BV002913198</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20210920 </controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">900725s1977 xx |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0486634620</subfield><subfield code="9">0-486-63462-0</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)3186347</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV002913198</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-384</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-824</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-188</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-355</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA9</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511/.3</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SK 130</subfield><subfield code="0">(DE-625)143216:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 130</subfield><subfield code="0">(DE-625)143588:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">03-01</subfield><subfield code="2">msc</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Curry, Haskell B.</subfield><subfield code="d">1900-1982</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)12283643X</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Foundations of mathematical logic</subfield><subfield code="c">Haskell B. Curry</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">Unabridged and corr. republ.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">New York</subfield><subfield code="b">Dover Publ.</subfield><subfield code="c">1977</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">VIII, 408 S.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Lógica matemática (textos avançados)</subfield><subfield code="2">larpcal</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Lógica simbólica (textos avançados)</subfield><subfield code="2">larpcal</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic, Symbolic and mathematical</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Grundlage</subfield><subfield code="0">(DE-588)4158388-7</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Aussagenlogik</subfield><subfield code="0">(DE-588)4136098-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4151278-9</subfield><subfield code="a">Einführung</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Aussagenlogik</subfield><subfield code="0">(DE-588)4136098-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Grundlage</subfield><subfield code="0">(DE-588)4158388-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung UB Regensburg - ADAM Catalogue Enrichment</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=001823860&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-001823860</subfield></datafield></record></collection> |
| genre | (DE-588)4151278-9 Einführung gnd-content |
| genre_facet | Einführung |
| id | DE-604.BV002913198 |
| illustrated | Not Illustrated |
| indexdate | 2024-12-20T07:55:54Z |
| institution | BVB |
| isbn | 0486634620 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-001823860 |
| oclc_num | 3186347 |
| open_access_boolean | |
| owner | DE-384 DE-739 DE-824 DE-29 DE-706 DE-11 DE-188 DE-83 DE-355 DE-BY-UBR |
| owner_facet | DE-384 DE-739 DE-824 DE-29 DE-706 DE-11 DE-188 DE-83 DE-355 DE-BY-UBR |
| physical | VIII, 408 S. |
| publishDate | 1977 |
| publishDateSearch | 1977 |
| publishDateSort | 1977 |
| publisher | Dover Publ. |
| record_format | marc |
| spellingShingle | Curry, Haskell B. 1900-1982 Foundations of mathematical logic Lógica matemática (textos avançados) larpcal Lógica simbólica (textos avançados) larpcal Logic, Symbolic and mathematical Mathematische Logik (DE-588)4037951-6 gnd Grundlage (DE-588)4158388-7 gnd Aussagenlogik (DE-588)4136098-9 gnd |
| subject_GND | (DE-588)4037951-6 (DE-588)4158388-7 (DE-588)4136098-9 (DE-588)4151278-9 |
| title | Foundations of mathematical logic |
| title_auth | Foundations of mathematical logic |
| title_exact_search | Foundations of mathematical logic |
| title_full | Foundations of mathematical logic Haskell B. Curry |
| title_fullStr | Foundations of mathematical logic Haskell B. Curry |
| title_full_unstemmed | Foundations of mathematical logic Haskell B. Curry |
| title_short | Foundations of mathematical logic |
| title_sort | foundations of mathematical logic |
| topic | Lógica matemática (textos avançados) larpcal Lógica simbólica (textos avançados) larpcal Logic, Symbolic and mathematical Mathematische Logik (DE-588)4037951-6 gnd Grundlage (DE-588)4158388-7 gnd Aussagenlogik (DE-588)4136098-9 gnd |
| topic_facet | Lógica matemática (textos avançados) Lógica simbólica (textos avançados) Logic, Symbolic and mathematical Mathematische Logik Grundlage Aussagenlogik Einführung |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=001823860&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT curryhaskellb foundationsofmathematicallogic |
Inhaltsverzeichnis
UB Lesesaal Wirtschaft
Signatur notieren und vor Ort nutzen oder für zwei Wochen ausleihen| Signatur: | 40 QH 120 C976 F7 |
|---|---|
| Exemplar 1 | entleihbar Vorhanden |