Basic proof theory:
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Cambridge [u.a.]
Cambridge Univ. Press
2003
|
| Ausgabe: | 2. ed., transferred to digital print. |
| Schriftenreihe: | Cambridge tracts in theoretical computer science
43 |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis Klappentext |
| Beschreibung: | XII, 417 S. |
| ISBN: | 0521779111 |
Internformat
MARC
| LEADER | 00000nam a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV019632482 | ||
| 003 | DE-604 | ||
| 005 | 20120808 | ||
| 007 | t | ||
| 008 | 041214s2003 |||| 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 |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-012961561 | ||
Datensatz im Suchindex
| _version_ | 1804133001259384832 |
|---|---|
| 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>01836nam 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 |||| 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="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-012961561</subfield></datafield></record></collection> |
| id | DE-604.BV019632482 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T20:01:46Z |
| 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 |
| spelling | Troelstra, Anne S. 1939-2019 Verfasser (DE-588)131940058 aut Basic proof theory A. S. Troelstra ; H. Schwichtenberg 2. ed., transferred to digital print. Cambridge [u.a.] Cambridge Univ. Press 2003 XII, 417 S. txt rdacontent n rdamedia nc rdacarrier Cambridge tracts in theoretical computer science 43 Beweistheorie (DE-588)4145177-6 gnd rswk-swf Beweistheorie (DE-588)4145177-6 s DE-604 Schwichtenberg, Helmut 1942- Verfasser (DE-588)1023588242 aut Cambridge tracts in theoretical computer science 43 (DE-604)BV000754528 43 Digitalisierung UB Regensburg application/pdf 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 Inhaltsverzeichnis Digitalisierung UB Regensburg application/pdf 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 Klappentext |
| 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 |