A mathematical introduction to logic:
A Mathematical Introduction to Logic offers increased flexibility with topic coverage, allowing for choice in how to utilize the textbook in a course. The author has made this edition more accessible to better meet the needs of today's undergraduate mathematics and philosophy students. It is in...
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
San Diego <<[u.a.]>>
Harcourt Acad. Press
2001
|
| Edition: | 2. ed. |
| Subjects: | |
| Online Access: | Publisher description Table of contents Inhaltsverzeichnis |
| Summary: | A Mathematical Introduction to Logic offers increased flexibility with topic coverage, allowing for choice in how to utilize the textbook in a course. The author has made this edition more accessible to better meet the needs of today's undergraduate mathematics and philosophy students. It is intended for the reader who has not studied logic previously, but who has some experience in mathematical reasoning. Material is presented on computer science issues such as computational complexity and database queries, with additional coverage of introductory material such as sets. |
| Physical Description: | XII, 317 S. graph. Darst. |
| ISBN: | 0122384520 |
Staff View
MARC
| LEADER | 00000nam a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV023528851 | ||
| 003 | DE-604 | ||
| 005 | 20080626000000.0 | ||
| 007 | t | ||
| 008 | 030709s2001 xxud||| |||| 00||| eng d | ||
| 020 | |a 0122384520 |9 0-12-238452-0 | ||
| 035 | |a (OCoLC)45830890 | ||
| 035 | |a (DE-599)BVBBV023528851 | ||
| 040 | |a DE-604 |b ger | ||
| 041 | 0 | |a eng | |
| 044 | |a xxu |c XD-US | ||
| 049 | |a DE-521 |a DE-634 |a DE-19 |a DE-859 |a DE-20 | ||
| 050 | 0 | |a QA9.E54 2001 | |
| 082 | 0 | |a 511/.3 |2 21 | |
| 082 | 0 | |a 511/.3 21 | |
| 084 | |a SK 130 |0 (DE-625)143216: |2 rvk | ||
| 100 | 1 | |a Enderton, Herbert B. |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a A mathematical introduction to logic |c Herbert B. Enderton |
| 250 | |a 2. ed. | ||
| 264 | 1 | |a San Diego <<[u.a.]>> |b Harcourt Acad. Press |c 2001 | |
| 300 | |a XII, 317 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 520 | 3 | |a A Mathematical Introduction to Logic offers increased flexibility with topic coverage, allowing for choice in how to utilize the textbook in a course. The author has made this edition more accessible to better meet the needs of today's undergraduate mathematics and philosophy students. It is intended for the reader who has not studied logic previously, but who has some experience in mathematical reasoning. Material is presented on computer science issues such as computational complexity and database queries, with additional coverage of introductory material such as sets. | |
| 650 | 4 | |a Logique symbolique et mathématique | |
| 650 | 7 | |a Symbolische logica |2 gtt | |
| 650 | 7 | |a Wiskundige logica |2 gtt | |
| 650 | 4 | |a Logic, Symbolic and mathematical | |
| 650 | 0 | 7 | |a Logik |0 (DE-588)4036202-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Mathematische Logik |0 (DE-588)4037951-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Mathematik |0 (DE-588)4037944-9 |2 gnd |9 rswk-swf |
| 655 | 7 | |8 1\p |0 (DE-588)4151278-9 |a Einführung |2 gnd-content | |
| 689 | 0 | 0 | |a Logik |0 (DE-588)4036202-4 |D s |
| 689 | 0 | 1 | |a Mathematik |0 (DE-588)4037944-9 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Mathematische Logik |0 (DE-588)4037951-6 |D s |
| 689 | 1 | |8 2\p |5 DE-604 | |
| 856 | 4 | |u http://www.loc.gov/catdir/description/els031/00110670.html |3 Publisher description | |
| 856 | 4 | |u http://www.loc.gov/catdir/toc/els031/00110670.html |3 Table of contents | |
| 856 | 4 | 2 | |m HEBIS Datenaustausch Darmstadt |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=016849051&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-016849051 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 883 | 1 | |8 2\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
Record in the Search Index
| _version_ | 1804138173711777792 |
|---|---|
| adam_text | A MATHEMATICAL INTRODUCTION TO LOGIC .**-** SECOND EDITION HERBERT B.
ENDERTON A ,. . L NI I I RSIT UI ( JLIMNII.I 1 S V I* * ACADEMIC;
PRESS SAN DIEGO NEW ORK MOSTON TENDON IBIUNTT) SVJNC LOK O CONTENTS
PREFACE IX INTRODUCTION XI CHAPTER ZERO USEFUL FACTS ABOUT SETS 1
CHAPTER ONE SENTENTIAL LOGIC 11 1.0 INFORMAL REMARKS ON FORMAL LANGUAGES
11 1.1 THE LANGUAGE OF SENTENTIAL LOGIC 13 1.2 TRUTH ASSIGNMENTS 20 1.3
A PARSING ALGORITHM 29 1.4 INDUCTION AND RECURSION 34 1.5 SENTENTIAL
CONNECTIVES 45 1.6 SWITCHING CIRCUITS 54 1.7 COMPACTNESS AND
EFFECTIVENESS 59 CHAPTER TWO FIRST-ORDER LOGIC 67 2.0 PRELIMINARY
REMARKS 67 2.1 FIRST-ORDER LANGUAGES 69 2.2 TRUTH AND MODELS 80 2.3 A
PARSING ALGORITHM 705 2.4 A DEDUCTIVE CALCULUS 709 2.5 SOUNDNESS AND
COMPLETENESS THEOREMS 131 2.6 MODELS OF THEORIES 747 2.7 INTERPRETATIONS
BETWEEN THEORIES 164 2.8 NONSTANDARD ANALYSIS 173 CHAPTER THREE
UNDECIDABILITY 182 3.0 NUMBER THEORY 182 3.1 NATURAL NUMBERS WITH
SUCCESSOR 187 3.2 OTHER REDUCTS OF NUMBER THEORY 193 3.3 A SUBTHEORY OF
NUMBER THEORY 202 3.4 ARITHMETIZATION OF SYNTAX 224 VII VIII CONTENTS
3.5 INCOMPLETENESS AND UNDECIDABILITY 234 3.6 RECURSIVE FUNCTIONS 247
3.7 SECOND INCOMPLETENESS THEOREM 266 3.8 REPRESENTING EXPONENTIATION
276 CHAPTER FOUR SECOND-ORDER LOGIC 282 4.1 SECOND-ORDER LANGUAGES 282
4.2 SKOLEM FUNCTIONS 287 4.3 MANY-SORTED LOGIC 295 4.4 GENERAL
STRUCTURES 299 SUGGESTIONS FOR FURTHER READING 307 LIST OF SYMBOLS 309
INDEX 311
|
| adam_txt |
A MATHEMATICAL INTRODUCTION TO LOGIC .**-** SECOND EDITION HERBERT B.
ENDERTON A ,. . L'NI\I I RSIT\ UI ( JLIMNII.I 1 S V I* ' * ACADEMIC;
PRESS SAN DIEGO NEW \ORK MOSTON TENDON ' IBIUNTT) SVJNC\ LOK\O CONTENTS
PREFACE IX INTRODUCTION XI CHAPTER ZERO USEFUL FACTS ABOUT SETS 1
CHAPTER ONE SENTENTIAL LOGIC 11 1.0 INFORMAL REMARKS ON FORMAL LANGUAGES
11 1.1 THE LANGUAGE OF SENTENTIAL LOGIC 13 1.2 TRUTH ASSIGNMENTS 20 1.3
A PARSING ALGORITHM 29 1.4 INDUCTION AND RECURSION 34 1.5 SENTENTIAL
CONNECTIVES 45 1.6 SWITCHING CIRCUITS 54 1.7 COMPACTNESS AND
EFFECTIVENESS 59 CHAPTER TWO FIRST-ORDER LOGIC 67 2.0 PRELIMINARY
REMARKS 67 2.1 FIRST-ORDER LANGUAGES 69 2.2 TRUTH AND MODELS 80 2.3 A
PARSING ALGORITHM 705 2.4 A DEDUCTIVE CALCULUS 709 2.5 SOUNDNESS AND
COMPLETENESS THEOREMS 131 2.6 MODELS OF THEORIES 747 2.7 INTERPRETATIONS
BETWEEN THEORIES 164 2.8 NONSTANDARD ANALYSIS 173 CHAPTER THREE
UNDECIDABILITY 182 3.0 NUMBER THEORY 182 3.1 NATURAL NUMBERS WITH
SUCCESSOR 187 3.2 OTHER REDUCTS OF NUMBER THEORY 193 3.3 A SUBTHEORY OF
NUMBER THEORY 202 3.4 ARITHMETIZATION OF SYNTAX 224 VII VIII CONTENTS
3.5 INCOMPLETENESS AND UNDECIDABILITY 234 3.6 RECURSIVE FUNCTIONS 247
3.7 SECOND INCOMPLETENESS THEOREM 266 3.8 REPRESENTING EXPONENTIATION
276 CHAPTER FOUR SECOND-ORDER LOGIC 282 4.1 SECOND-ORDER LANGUAGES 282
4.2 SKOLEM FUNCTIONS 287 4.3 MANY-SORTED LOGIC 295 4.4 GENERAL
STRUCTURES 299 SUGGESTIONS FOR FURTHER READING 307 LIST OF SYMBOLS 309
INDEX 311 |
| any_adam_object | 1 |
| any_adam_object_boolean | 1 |
| author | Enderton, Herbert B. |
| author_facet | Enderton, Herbert B. |
| author_role | aut |
| author_sort | Enderton, Herbert B. |
| author_variant | h b e hb hbe |
| building | Verbundindex |
| bvnumber | BV023528851 |
| callnumber-first | Q - Science |
| callnumber-label | QA9 |
| callnumber-raw | QA9.E54 2001 |
| callnumber-search | QA9.E54 2001 |
| callnumber-sort | QA 19 E54 42001 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | SK 130 |
| ctrlnum | (OCoLC)45830890 (DE-599)BVBBV023528851 |
| dewey-full | 511/.3 511/.321 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 511 - General principles of mathematics |
| dewey-raw | 511/.3 511/.3 21 |
| dewey-search | 511/.3 511/.3 21 |
| dewey-sort | 3511 13 |
| dewey-tens | 510 - Mathematics |
| discipline | Mathematik |
| discipline_str_mv | Mathematik |
| edition | 2. ed. |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02780nam a2200553zc 4500</leader><controlfield tag="001">BV023528851</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20080626000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">030709s2001 xxud||| |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0122384520</subfield><subfield code="9">0-12-238452-0</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)45830890</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV023528851</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">xxu</subfield><subfield code="c">XD-US</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-521</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-859</subfield><subfield code="a">DE-20</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA9.E54 2001</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511/.3</subfield><subfield code="2">21</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511/.3 21</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="100" ind1="1" ind2=" "><subfield code="a">Enderton, Herbert B.</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">A mathematical introduction to logic</subfield><subfield code="c">Herbert B. Enderton</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">2. ed.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">San Diego <<[u.a.]>></subfield><subfield code="b">Harcourt Acad. Press</subfield><subfield code="c">2001</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XII, 317 S.</subfield><subfield code="b">graph. Darst.</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="520" ind1="3" ind2=" "><subfield code="a">A Mathematical Introduction to Logic offers increased flexibility with topic coverage, allowing for choice in how to utilize the textbook in a course. The author has made this edition more accessible to better meet the needs of today's undergraduate mathematics and philosophy students. It is intended for the reader who has not studied logic previously, but who has some experience in mathematical reasoning. Material is presented on computer science issues such as computational complexity and database queries, with additional coverage of introductory material such as sets.</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logique symbolique et mathématique</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Symbolische logica</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Wiskundige logica</subfield><subfield code="2">gtt</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">Logik</subfield><subfield code="0">(DE-588)4036202-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</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">Mathematik</subfield><subfield code="0">(DE-588)4037944-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="8">1\p</subfield><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">Logik</subfield><subfield code="0">(DE-588)4036202-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Mathematik</subfield><subfield code="0">(DE-588)4037944-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=" "><subfield code="8">2\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="856" ind1="4" ind2=" "><subfield code="u">http://www.loc.gov/catdir/description/els031/00110670.html</subfield><subfield code="3">Publisher description</subfield></datafield><datafield tag="856" ind1="4" ind2=" "><subfield code="u">http://www.loc.gov/catdir/toc/els031/00110670.html</subfield><subfield code="3">Table of contents</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">HEBIS Datenaustausch Darmstadt</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=016849051&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-016849051</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="883" ind1="1" ind2=" "><subfield code="8">2\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 | 1\p (DE-588)4151278-9 Einführung gnd-content |
| genre_facet | Einführung |
| id | DE-604.BV023528851 |
| illustrated | Illustrated |
| index_date | 2024-07-02T22:34:38Z |
| indexdate | 2024-07-09T21:23:59Z |
| institution | BVB |
| isbn | 0122384520 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-016849051 |
| oclc_num | 45830890 |
| open_access_boolean | |
| owner | DE-521 DE-634 DE-19 DE-BY-UBM DE-859 DE-20 |
| owner_facet | DE-521 DE-634 DE-19 DE-BY-UBM DE-859 DE-20 |
| physical | XII, 317 S. graph. Darst. |
| publishDate | 2001 |
| publishDateSearch | 2001 |
| publishDateSort | 2001 |
| publisher | Harcourt Acad. Press |
| record_format | marc |
| spelling | Enderton, Herbert B. Verfasser aut A mathematical introduction to logic Herbert B. Enderton 2. ed. San Diego <<[u.a.]>> Harcourt Acad. Press 2001 XII, 317 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier A Mathematical Introduction to Logic offers increased flexibility with topic coverage, allowing for choice in how to utilize the textbook in a course. The author has made this edition more accessible to better meet the needs of today's undergraduate mathematics and philosophy students. It is intended for the reader who has not studied logic previously, but who has some experience in mathematical reasoning. Material is presented on computer science issues such as computational complexity and database queries, with additional coverage of introductory material such as sets. Logique symbolique et mathématique Symbolische logica gtt Wiskundige logica gtt Logic, Symbolic and mathematical Logik (DE-588)4036202-4 gnd rswk-swf Mathematische Logik (DE-588)4037951-6 gnd rswk-swf Mathematik (DE-588)4037944-9 gnd rswk-swf 1\p (DE-588)4151278-9 Einführung gnd-content Logik (DE-588)4036202-4 s Mathematik (DE-588)4037944-9 s DE-604 Mathematische Logik (DE-588)4037951-6 s 2\p DE-604 http://www.loc.gov/catdir/description/els031/00110670.html Publisher description http://www.loc.gov/catdir/toc/els031/00110670.html Table of contents HEBIS Datenaustausch Darmstadt application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=016849051&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 2\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Enderton, Herbert B. A mathematical introduction to logic Logique symbolique et mathématique Symbolische logica gtt Wiskundige logica gtt Logic, Symbolic and mathematical Logik (DE-588)4036202-4 gnd Mathematische Logik (DE-588)4037951-6 gnd Mathematik (DE-588)4037944-9 gnd |
| subject_GND | (DE-588)4036202-4 (DE-588)4037951-6 (DE-588)4037944-9 (DE-588)4151278-9 |
| title | A mathematical introduction to logic |
| title_auth | A mathematical introduction to logic |
| title_exact_search | A mathematical introduction to logic |
| title_exact_search_txtP | A mathematical introduction to logic |
| title_full | A mathematical introduction to logic Herbert B. Enderton |
| title_fullStr | A mathematical introduction to logic Herbert B. Enderton |
| title_full_unstemmed | A mathematical introduction to logic Herbert B. Enderton |
| title_short | A mathematical introduction to logic |
| title_sort | a mathematical introduction to logic |
| topic | Logique symbolique et mathématique Symbolische logica gtt Wiskundige logica gtt Logic, Symbolic and mathematical Logik (DE-588)4036202-4 gnd Mathematische Logik (DE-588)4037951-6 gnd Mathematik (DE-588)4037944-9 gnd |
| topic_facet | Logique symbolique et mathématique Symbolische logica Wiskundige logica Logic, Symbolic and mathematical Logik Mathematische Logik Mathematik Einführung |
| url | http://www.loc.gov/catdir/description/els031/00110670.html http://www.loc.gov/catdir/toc/els031/00110670.html http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=016849051&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT endertonherbertb amathematicalintroductiontologic |