Logic and structure:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
London [u.a.]
Springer
2013
|
| Ausgabe: | 5. ed. |
| Schriftenreihe: | Universitext
|
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | X, 263 S. graph. Darst. |
| ISBN: | 9781447145578 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV040720786 | ||
| 003 | DE-604 | ||
| 005 | 20180301 | ||
| 007 | t | ||
| 008 | 130201s2013 d||| |||| 00||| eng d | ||
| 020 | |a 9781447145578 |9 978-1-4471-4557-8 | ||
| 035 | |a (OCoLC)824650576 | ||
| 035 | |a (DE-599)BVBBV040720786 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-11 |a DE-29T |a DE-188 |a DE-83 | ||
| 084 | |a SK 130 |0 (DE-625)143216: |2 rvk | ||
| 084 | |a 03-01 |2 msc | ||
| 100 | 1 | |a Dalen, Dirk van |d 1932- |0 (DE-588)133205053 |4 aut | |
| 245 | 1 | 0 | |a Logic and structure |c Dirk van Dalen |
| 250 | |a 5. ed. | ||
| 264 | 1 | |a London [u.a.] |b Springer |c 2013 | |
| 300 | |a X, 263 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 0 | |a Universitext | |
| 650 | 0 | 7 | |a Mathematische Logik |0 (DE-588)4037951-6 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)4123623-3 |a Lehrbuch |2 gnd-content | |
| 689 | 0 | 0 | |a Mathematische Logik |0 (DE-588)4037951-6 |D s |
| 689 | 0 | |5 DE-604 | |
| 856 | 4 | 2 | |m HBZ Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=025701017&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-025701017 | ||
Datensatz im Suchindex
| _version_ | 1804150030612824064 |
|---|---|
| adam_text | Titel: Logic and structure
Autor: Dalen, Dirk van
Jahr: 2013
Contents
1 Introduction................................ 1
2 Prepositional Logic............................ 5
2.1 Propositions and Connectives.................... 5
2.2 Semantics .............................. 15
2.3 Some Properties of Prepositional Logic............... 20
2.4 Natural Deduction.......................... 29
2.5 Completeness............................ 38
2.6 The Missing Connectives...................... 46
3 Predicate Logic.............................. 53
3.1 Quantifiers.............................. 53
3.2 Structures .............................. 54
3.3 The Language of a Similarity Type................. 56
3.4 Semantics .............................. 64
3.5 Simple Properties of Predicate Logic................ 68
3.6 Identity................................ 77
3.7 Examples............................... 78
3.8 Natural Deduction.......................... 86
3.9 Adding the Existential Quantifier.................. 91
3.10 Natural Deduction and Identity................... 93
4 Completeness and Applications..................... 97
4.1 The Completeness Theorem..................... 97
4.2 Compactness and Skolem-Lowenheim............... 104
4.3 Some Model Theory......................... 1ll
4.4 Skolem Functions or How to Enrich Your Language........ 127
4.5 Ultraproducts............................. 134
5 Second-Order Logic........................... 145
6 Intuitionistic Logic............................ 155
6.1 Constructive Reasoning....................... 155
6.2 Intuitionistic Propositional and Predicate Logic...........157
6.3 Kripke Semantics..........................164
6.4 Some Model Theory.........................174
7 Normalization...............................187
7.1 Cuts ................................. 187
7.2 Normalization for Classical Logic.................. 191
7.3 Normalization for Intuitionistic Logic................ 197
7.4 Additional Remarks: Strong Normalization and the Church-
Rosser Property...........................207
8 Godel s Theorem.............................209
8.1 Primitive Recursive Functions.................... 209
8.2 Partial Recursive Functions..................... 218
8.3 Recursively Enumerable Sets.................... 229
8.4 Some Arithmetic........................... 236
8.5 Representability........................... 242
8.6 Derivability ............................. 245
8.7 Incompleteness............................ 250
References...................................257
Index......................................259
|
| any_adam_object | 1 |
| author | Dalen, Dirk van 1932- |
| author_GND | (DE-588)133205053 |
| author_facet | Dalen, Dirk van 1932- |
| author_role | aut |
| author_sort | Dalen, Dirk van 1932- |
| author_variant | d v d dv dvd |
| building | Verbundindex |
| bvnumber | BV040720786 |
| classification_rvk | SK 130 |
| ctrlnum | (OCoLC)824650576 (DE-599)BVBBV040720786 |
| discipline | Mathematik |
| edition | 5. ed. |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01310nam a2200361 c 4500</leader><controlfield tag="001">BV040720786</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20180301 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">130201s2013 d||| |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781447145578</subfield><subfield code="9">978-1-4471-4557-8</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)824650576</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV040720786</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-11</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-188</subfield><subfield code="a">DE-83</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">03-01</subfield><subfield code="2">msc</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Dalen, Dirk van</subfield><subfield code="d">1932-</subfield><subfield code="0">(DE-588)133205053</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Logic and structure</subfield><subfield code="c">Dirk van Dalen</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">5. ed.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">London [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2013</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">X, 263 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="490" ind1="0" ind2=" "><subfield code="a">Universitext</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="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4123623-3</subfield><subfield code="a">Lehrbuch</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" 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="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">HBZ Datenaustausch</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=025701017&sequence=000002&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-025701017</subfield></datafield></record></collection> |
| genre | (DE-588)4123623-3 Lehrbuch gnd-content |
| genre_facet | Lehrbuch |
| id | DE-604.BV040720786 |
| illustrated | Illustrated |
| indexdate | 2024-07-10T00:32:27Z |
| institution | BVB |
| isbn | 9781447145578 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-025701017 |
| oclc_num | 824650576 |
| open_access_boolean | |
| owner | DE-11 DE-29T DE-188 DE-83 |
| owner_facet | DE-11 DE-29T DE-188 DE-83 |
| physical | X, 263 S. graph. Darst. |
| publishDate | 2013 |
| publishDateSearch | 2013 |
| publishDateSort | 2013 |
| publisher | Springer |
| record_format | marc |
| series2 | Universitext |
| spelling | Dalen, Dirk van 1932- (DE-588)133205053 aut Logic and structure Dirk van Dalen 5. ed. London [u.a.] Springer 2013 X, 263 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Universitext Mathematische Logik (DE-588)4037951-6 gnd rswk-swf (DE-588)4123623-3 Lehrbuch gnd-content Mathematische Logik (DE-588)4037951-6 s DE-604 HBZ Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=025701017&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Dalen, Dirk van 1932- Logic and structure Mathematische Logik (DE-588)4037951-6 gnd |
| subject_GND | (DE-588)4037951-6 (DE-588)4123623-3 |
| title | Logic and structure |
| title_auth | Logic and structure |
| title_exact_search | Logic and structure |
| title_full | Logic and structure Dirk van Dalen |
| title_fullStr | Logic and structure Dirk van Dalen |
| title_full_unstemmed | Logic and structure Dirk van Dalen |
| title_short | Logic and structure |
| title_sort | logic and structure |
| topic | Mathematische Logik (DE-588)4037951-6 gnd |
| topic_facet | Mathematische Logik Lehrbuch |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=025701017&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT dalendirkvan logicandstructure |