Foundations of mathematical logic:
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
New York
Dover Publ.
1977
|
| Edition: | Unabridged and corr. republ. |
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Physical Description: | VIII, 408 S. |
| ISBN: | 0486634620 |
Staff View
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV002913198 | ||
| 003 | DE-604 | ||
| 005 | 20210920 | ||
| 007 | t | ||
| 008 | 900725s1977 |||| 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 |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-001823860 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
Record in the Search Index
| _version_ | 1804117207368597504 |
|---|---|
| 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>01998nam 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 |||| 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="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-001823860</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></record></collection> |
| genre | (DE-588)4151278-9 Einführung gnd-content |
| genre_facet | Einführung |
| id | DE-604.BV002913198 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T15:50:44Z |
| 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 |
| spelling | Curry, Haskell B. 1900-1982 Verfasser (DE-588)12283643X aut Foundations of mathematical logic Haskell B. Curry Unabridged and corr. republ. New York Dover Publ. 1977 VIII, 408 S. txt rdacontent n rdamedia nc rdacarrier 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 rswk-swf Grundlage (DE-588)4158388-7 gnd rswk-swf Aussagenlogik (DE-588)4136098-9 gnd rswk-swf (DE-588)4151278-9 Einführung gnd-content Aussagenlogik (DE-588)4136098-9 s DE-604 Mathematische Logik (DE-588)4037951-6 s Grundlage (DE-588)4158388-7 s 1\p DE-604 Digitalisierung UB Regensburg - ADAM Catalogue Enrichment application/pdf 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 Inhaltsverzeichnis 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| 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 |