Logic and structure:
Gespeichert in:
| Beteilige Person: | |
|---|---|
| Format: | Buch |
| Sprache: | Englisch |
| Veröffentlicht: |
Berlin [u.a.]
Springer
2004
|
| Ausgabe: | 4. ed. |
| Schriftenreihe: | Universitext
|
| Schlagwörter: | |
| Links: | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=012957978&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| Umfang: | X, 263 S. graph. Darst. |
| ISBN: | 9783540208792 3540208798 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV019628802 | ||
| 003 | DE-604 | ||
| 005 | 20080123 | ||
| 007 | t| | ||
| 008 | 041210s2004 gw d||| |||| 00||| eng d | ||
| 020 | |a 9783540208792 |9 978-3-540-20879-2 | ||
| 020 | |a 3540208798 |9 3-540-20879-8 | ||
| 035 | |a (OCoLC)249146242 | ||
| 035 | |a (DE-599)BVBBV019628802 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c DE | ||
| 049 | |a DE-19 |a DE-29T |a DE-384 |a DE-11 | ||
| 050 | 0 | |a QA9 | |
| 082 | 0 | |a 511.3 | |
| 084 | |a SK 130 |0 (DE-625)143216: |2 rvk | ||
| 084 | |a 17,1 |2 ssgn | ||
| 100 | 1 | |a Dalen, Dirk van |d 1932- |e Verfasser |0 (DE-588)133205053 |4 aut | |
| 245 | 1 | 0 | |a Logic and structure |c Dirk van Dalen |
| 250 | |a 4. ed. | ||
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2004 | |
| 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 | 4 | |a Mathematische Logik - Lehrbuch | |
| 650 | 4 | |a Logic, Symbolic and mathematical | |
| 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 Digitalisierung UB Augsburg |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=012957978&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-012957978 | |
Datensatz im Suchindex
| _version_ | 1819356885392818176 |
|---|---|
| adam_text | Contents
0
Introduction
............................................... 1
1
Propositional Logic
........................................ 5
1.1
Propositions
and Connectives
............................. 5
1.2
Semantics..............................................
15
1.3
Some Properties of
Propositional
logic
..................... 21
1.4
Natural Deduction
....................................... 30
1.5
Completeness
........................................... 40
1.6
The Missing Connectives
................................. 49
2
Predicate Logic
............................................ 57
2.1
Quantifiers
............................................. 57
2.2
Structures
.............................................. 58
2.3
The Language of a Similarity Type
........................ 60
2.4
Semantics
.............................................. 68
2.5
Simple Properties of Predicate Logic
....................... 73
2.6
Identity
................................................ 81
2.7
Examples
............................................... 83
2.8
Natural Deduction
....................................... 91
2.9
Adding the Existential Quantifier
.......................... 96
2.10
Natural Deduction and Identity
........................... 99
3
Completeness and Applications
............................103
3.1
The Completeness Theorem
...............................103
3.2
Compactness and
Skolem-Löwenheim......................
Ill
3.3
Some Model Theory
.....................................118
3.4
Skolern Functions or How to Enrich Your Language
..........135
4
Second Order Logic
........................................143
X Contents
5
Intuitioriistic Logic
........................................15.4
5.1
Constructive Reasoning
..................................153
5.2
Intuitioriistic Propositional and Predicate Logic
............. 156
5.3
К
гірко
Semantics
........................................162
5.4
Some Model Theory
.....................................173
6
Normalisation
.............................................187
G.I Cuts
...................................................187
6.2
Normalization for Classical Logic
..........................192
6.3
Normalization for Intuitionistie Logic
......................198
7
Gödel s
theorem
...........................................209
7.1
Primitive recursive functions
..............................209
7.2
Partial Recursive Functions
...............................218
7.3
Recursively enumerable sets
..............................230
7.4
Some arithmetic
.......................................· .236
7.5
Representability
.........................................242
7.6
Derivability
............................................ 246
7.7
Incompleteness
..........................................251
Bibliography
...................................................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 | BV019628802 |
| 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 |
| ctrlnum | (OCoLC)249146242 (DE-599)BVBBV019628802 |
| 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.3 |
| dewey-tens | 510 - Mathematics |
| discipline | Mathematik |
| edition | 4. ed. |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01534nam a2200433 c 4500</leader><controlfield tag="001">BV019628802</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20080123 </controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">041210s2004 gw d||| |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783540208792</subfield><subfield code="9">978-3-540-20879-2</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540208798</subfield><subfield code="9">3-540-20879-8</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)249146242</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV019628802</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="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">DE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-19</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-11</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">17,1</subfield><subfield code="2">ssgn</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Dalen, Dirk van</subfield><subfield code="d">1932-</subfield><subfield code="e">Verfasser</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">4. ed.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2004</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=" " ind2="4"><subfield code="a">Mathematische Logik - Lehrbuch</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="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">Digitalisierung UB Augsburg</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=012957978&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-012957978</subfield></datafield></record></collection> |
| genre | (DE-588)4123623-3 Lehrbuch gnd-content |
| genre_facet | Lehrbuch |
| id | DE-604.BV019628802 |
| illustrated | Illustrated |
| indexdate | 2024-12-20T12:02:11Z |
| institution | BVB |
| isbn | 9783540208792 3540208798 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-012957978 |
| oclc_num | 249146242 |
| open_access_boolean | |
| owner | DE-19 DE-BY-UBM DE-29T DE-384 DE-11 |
| owner_facet | DE-19 DE-BY-UBM DE-29T DE-384 DE-11 |
| physical | X, 263 S. graph. Darst. |
| publishDate | 2004 |
| publishDateSearch | 2004 |
| publishDateSort | 2004 |
| publisher | Springer |
| record_format | marc |
| series2 | Universitext |
| spellingShingle | Dalen, Dirk van 1932- Logic and structure Mathematische Logik - Lehrbuch Logic, Symbolic and mathematical 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 - Lehrbuch Logic, Symbolic and mathematical Mathematische Logik (DE-588)4037951-6 gnd |
| topic_facet | Mathematische Logik - Lehrbuch Logic, Symbolic and mathematical Mathematische Logik Lehrbuch |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=012957978&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT dalendirkvan logicandstructure |