Basic proof theory:
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Cambridge [u.a.]
Cambridge Univ. Press
2003
|
| Edition: | 2. ed., transferred to digital print. |
| Series: | Cambridge tracts in theoretical computer science
43 |
| Subjects: | |
| Links: | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=012961561&sequence=000003&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=012961561&sequence=000004&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |
| Physical Description: | XII, 417 S. |
| ISBN: | 0521779111 |
Staff View
MARC
| LEADER | 00000nam a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV019632482 | ||
| 003 | DE-604 | ||
| 005 | 20120808 | ||
| 007 | t| | ||
| 008 | 041214s2003 xx |||| 00||| eng d | ||
| 020 | |a 0521779111 |9 0-521-77911-1 | ||
| 035 | |a (OCoLC)634703054 | ||
| 035 | |a (DE-599)BVBBV019632482 | ||
| 040 | |a DE-604 |b ger |e rakwb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-19 |a DE-355 |a DE-11 | ||
| 084 | |a CC 3200 |0 (DE-625)17614: |2 rvk | ||
| 084 | |a SK 130 |0 (DE-625)143216: |2 rvk | ||
| 084 | |a ST 130 |0 (DE-625)143588: |2 rvk | ||
| 100 | 1 | |a Troelstra, Anne S. |d 1939-2019 |e Verfasser |0 (DE-588)131940058 |4 aut | |
| 245 | 1 | 0 | |a Basic proof theory |c A. S. Troelstra ; H. Schwichtenberg |
| 250 | |a 2. ed., transferred to digital print. | ||
| 264 | 1 | |a Cambridge [u.a.] |b Cambridge Univ. Press |c 2003 | |
| 300 | |a XII, 417 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Cambridge tracts in theoretical computer science |v 43 | |
| 650 | 0 | 7 | |a Beweistheorie |0 (DE-588)4145177-6 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Beweistheorie |0 (DE-588)4145177-6 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Schwichtenberg, Helmut |d 1942- |e Verfasser |0 (DE-588)1023588242 |4 aut | |
| 830 | 0 | |a Cambridge tracts in theoretical computer science |v 43 |w (DE-604)BV000754528 |9 43 | |
| 856 | 4 | 2 | |m Digitalisierung UB Regensburg |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=012961561&sequence=000003&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 856 | 4 | 2 | |m Digitalisierung UB Regensburg |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=012961561&sequence=000004&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |3 Klappentext |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-012961561 | |
Record in the Search Index
| _version_ | 1819312035607871488 |
|---|---|
| adam_text | Contents
Preface
1
1.1
1.2
1.3
2
2.1
2.2
2.3
2.4 Hubert
2.5
3
3.1
3.2
3.3
3.4
3.5
3.6
3.7
4
4.1
4.2
4.3
4.4
4.5
4.6
4.7
v
vi
4.8
4.9
5
5.1
5.2
5.3
5.4
5.5
6
6.1
6.2
6.3
6.4
6.5
6.6
6.7
6.8
6.9
6.10
6.11
6.12
7
7.1
7.2
7.3
7.4
7.5
7.6
8
8.1
8.2
8.3
8.4
8.5
9
9.1
Contents
9.2
9.3
9.4
9.5
9.6
10
10.1
10.2
10.3
10.4
10.5
10.6
11
11.1
11.2
11.3
11.4
11.5
11.6
Solutions to selected exercises
Bibliography
Symbols and notations
Index
This introduction to the basic ideas of structural
proof theory contains a thorough discussion
and comparison of various types of
formalization of first-order logic. Examples are
given of several areas of application, namely the
metamathemafics of pure first-order logic
(intuitionisfic as well as classical); the theory of
logic programming; category theory; modal
logic; linear logic; first-order arithmetic and
second-order logic.
In each case the aim is to illustrate the methods
in relatively simple situations and then apply them
elsewhere in much more complex settings. There
are numerous exercises throughout the text.
In general, the only prerequisite is a standard
course in first-order logic, making the book ideal
for graduate students and beginning researchers
in mathematical logic, theoretical computer
science and artificial intelligence.
For the new edition, many sections have been
rewritten to improve clarity, new sections have
been added on cut
selected exercises have been included.
Cambridge Tracts in Theoretical
Computer Science
Editorial Board
S. Abramsky, Department of Computer Science,
University of Edinburgh
P.H. Aczel» Department of Computer Science,
University of Manchester
J.W.
Informatica,
Y. Gurevich, Microsoft Research
J.V.
Science, University College of Swansea
|
| any_adam_object | 1 |
| author | Troelstra, Anne S. 1939-2019 Schwichtenberg, Helmut 1942- |
| author_GND | (DE-588)131940058 (DE-588)1023588242 |
| author_facet | Troelstra, Anne S. 1939-2019 Schwichtenberg, Helmut 1942- |
| author_role | aut aut |
| author_sort | Troelstra, Anne S. 1939-2019 |
| author_variant | a s t as ast h s hs |
| building | Verbundindex |
| bvnumber | BV019632482 |
| classification_rvk | CC 3200 SK 130 ST 130 |
| ctrlnum | (OCoLC)634703054 (DE-599)BVBBV019632482 |
| discipline | Informatik Mathematik Philosophie |
| edition | 2. ed., transferred to digital print. |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01837nam a2200397zcb4500</leader><controlfield tag="001">BV019632482</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20120808 </controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">041214s2003 xx |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0521779111</subfield><subfield code="9">0-521-77911-1</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)634703054</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV019632482</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-19</subfield><subfield code="a">DE-355</subfield><subfield code="a">DE-11</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">CC 3200</subfield><subfield code="0">(DE-625)17614:</subfield><subfield code="2">rvk</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="100" ind1="1" ind2=" "><subfield code="a">Troelstra, Anne S.</subfield><subfield code="d">1939-2019</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)131940058</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Basic proof theory</subfield><subfield code="c">A. S. Troelstra ; H. Schwichtenberg</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">2. ed., transferred to digital print.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cambridge [u.a.]</subfield><subfield code="b">Cambridge Univ. Press</subfield><subfield code="c">2003</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XII, 417 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="490" ind1="1" ind2=" "><subfield code="a">Cambridge tracts in theoretical computer science</subfield><subfield code="v">43</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Beweistheorie</subfield><subfield code="0">(DE-588)4145177-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Beweistheorie</subfield><subfield code="0">(DE-588)4145177-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Schwichtenberg, Helmut</subfield><subfield code="d">1942-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)1023588242</subfield><subfield code="4">aut</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Cambridge tracts in theoretical computer science</subfield><subfield code="v">43</subfield><subfield code="w">(DE-604)BV000754528</subfield><subfield code="9">43</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung UB Regensburg</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=012961561&sequence=000003&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung UB Regensburg</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=012961561&sequence=000004&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Klappentext</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-012961561</subfield></datafield></record></collection> |
| id | DE-604.BV019632482 |
| illustrated | Not Illustrated |
| indexdate | 2024-12-20T12:02:16Z |
| institution | BVB |
| isbn | 0521779111 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-012961561 |
| oclc_num | 634703054 |
| open_access_boolean | |
| owner | DE-19 DE-BY-UBM DE-355 DE-BY-UBR DE-11 |
| owner_facet | DE-19 DE-BY-UBM DE-355 DE-BY-UBR DE-11 |
| physical | XII, 417 S. |
| publishDate | 2003 |
| publishDateSearch | 2003 |
| publishDateSort | 2003 |
| publisher | Cambridge Univ. Press |
| record_format | marc |
| series | Cambridge tracts in theoretical computer science |
| series2 | Cambridge tracts in theoretical computer science |
| spellingShingle | Troelstra, Anne S. 1939-2019 Schwichtenberg, Helmut 1942- Basic proof theory Cambridge tracts in theoretical computer science Beweistheorie (DE-588)4145177-6 gnd |
| subject_GND | (DE-588)4145177-6 |
| title | Basic proof theory |
| title_auth | Basic proof theory |
| title_exact_search | Basic proof theory |
| title_full | Basic proof theory A. S. Troelstra ; H. Schwichtenberg |
| title_fullStr | Basic proof theory A. S. Troelstra ; H. Schwichtenberg |
| title_full_unstemmed | Basic proof theory A. S. Troelstra ; H. Schwichtenberg |
| title_short | Basic proof theory |
| title_sort | basic proof theory |
| topic | Beweistheorie (DE-588)4145177-6 gnd |
| topic_facet | Beweistheorie |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=012961561&sequence=000003&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=012961561&sequence=000004&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000754528 |
| work_keys_str_mv | AT troelstraannes basicprooftheory AT schwichtenberghelmut basicprooftheory |