Basic proof theory:
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 metamathematics of pure first-order logic (intuitionistic as well as c...
Gespeichert in:
| Beteilige Person: | |
|---|---|
| Weitere beteiligte Personen: | |
| Format: | E-Book |
| Sprache: | Englisch |
| Veröffentlicht: |
Cambridge
Cambridge University Press
2000
|
| Ausgabe: | Second edition. |
| Schriftenreihe: | Cambridge tracts in theoretical computer science
43 |
| Links: | https://doi.org/10.1017/CBO9781139168717 |
| Zusammenfassung: | 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 metamathematics of pure first-order logic (intuitionistic 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 elimination, and solutions to selected exercises have been included. |
| Umfang: | 1 Online-Ressource (xii, 417 Seiten) |
| ISBN: | 9781139168717 |
Internformat
MARC
| LEADER | 00000nam a2200000 i 4500 | ||
|---|---|---|---|
| 001 | ZDB-20-CTM-CR9781139168717 | ||
| 003 | UkCbUP | ||
| 005 | 20151005020623.0 | ||
| 006 | m|||||o||d|||||||| | ||
| 007 | cr|||||||||||| | ||
| 008 | 111007s2000||||enk o ||1 0|eng|d | ||
| 020 | |a 9781139168717 | ||
| 100 | 1 | |a Troelstra, A. S. | |
| 245 | 1 | 0 | |a Basic proof theory |c A.S. Troelstra, H. Schwichtenberg |
| 250 | |a Second edition. | ||
| 264 | 1 | |a Cambridge |b Cambridge University Press |c 2000 | |
| 300 | |a 1 Online-Ressource (xii, 417 Seiten) | ||
| 336 | |b txt | ||
| 337 | |b c | ||
| 338 | |b cr | ||
| 490 | 1 | |a Cambridge tracts in theoretical computer science |v 43 | |
| 520 | |a 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 metamathematics of pure first-order logic (intuitionistic 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 elimination, and solutions to selected exercises have been included. | ||
| 700 | 1 | |a Schwichtenberg, Helmut |d 1942- | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 9780521779111 |
| 966 | 4 | 0 | |l DE-91 |p ZDB-20-CTM |q TUM_PDA_CTM |u https://doi.org/10.1017/CBO9781139168717 |3 Volltext |
| 912 | |a ZDB-20-CTM | ||
| 912 | |a ZDB-20-CTM | ||
| 049 | |a DE-91 | ||
Datensatz im Suchindex
| DE-BY-TUM_katkey | ZDB-20-CTM-CR9781139168717 |
|---|---|
| _version_ | 1832177781011644416 |
| adam_text | |
| any_adam_object | |
| author | Troelstra, A. S. |
| author2 | Schwichtenberg, Helmut 1942- |
| author2_role | |
| author2_variant | h s hs |
| author_facet | Troelstra, A. S. Schwichtenberg, Helmut 1942- |
| author_role | |
| author_sort | Troelstra, A. S. |
| author_variant | a s t as ast |
| building | Verbundindex |
| bvnumber | localTUM |
| collection | ZDB-20-CTM |
| edition | Second edition. |
| format | eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01864nam a2200277 i 4500</leader><controlfield tag="001">ZDB-20-CTM-CR9781139168717</controlfield><controlfield tag="003">UkCbUP</controlfield><controlfield tag="005">20151005020623.0</controlfield><controlfield tag="006">m|||||o||d||||||||</controlfield><controlfield tag="007">cr||||||||||||</controlfield><controlfield tag="008">111007s2000||||enk o ||1 0|eng|d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781139168717</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Troelstra, A. S.</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">Second edition.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cambridge</subfield><subfield code="b">Cambridge University Press</subfield><subfield code="c">2000</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (xii, 417 Seiten)</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">c</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</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="520" ind1=" " ind2=" "><subfield code="a">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 metamathematics of pure first-order logic (intuitionistic 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 elimination, and solutions to selected exercises have been included.</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Schwichtenberg, Helmut</subfield><subfield code="d">1942-</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">9780521779111</subfield></datafield><datafield tag="966" ind1="4" ind2="0"><subfield code="l">DE-91</subfield><subfield code="p">ZDB-20-CTM</subfield><subfield code="q">TUM_PDA_CTM</subfield><subfield code="u">https://doi.org/10.1017/CBO9781139168717</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-20-CTM</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-20-CTM</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91</subfield></datafield></record></collection> |
| id | ZDB-20-CTM-CR9781139168717 |
| illustrated | Not Illustrated |
| indexdate | 2025-05-15T09:21:32Z |
| institution | BVB |
| isbn | 9781139168717 |
| language | English |
| open_access_boolean | |
| owner | DE-91 DE-BY-TUM |
| owner_facet | DE-91 DE-BY-TUM |
| physical | 1 Online-Ressource (xii, 417 Seiten) |
| psigel | ZDB-20-CTM TUM_PDA_CTM ZDB-20-CTM |
| publishDate | 2000 |
| publishDateSearch | 2000 |
| publishDateSort | 2000 |
| publisher | Cambridge University Press |
| record_format | marc |
| series2 | Cambridge tracts in theoretical computer science |
| spelling | Troelstra, A. S. Basic proof theory A.S. Troelstra, H. Schwichtenberg Second edition. Cambridge Cambridge University Press 2000 1 Online-Ressource (xii, 417 Seiten) txt c cr Cambridge tracts in theoretical computer science 43 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 metamathematics of pure first-order logic (intuitionistic 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 elimination, and solutions to selected exercises have been included. Schwichtenberg, Helmut 1942- Erscheint auch als Druck-Ausgabe 9780521779111 |
| spellingShingle | Troelstra, A. S. Basic proof theory |
| 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 |
| work_keys_str_mv | AT troelstraas basicprooftheory AT schwichtenberghelmut basicprooftheory |