Zur Startseite gehen
0,00 €*
Cover: 9780521779111 | Basic Proof Theory | Anne S. Troelstra | Taschenbuch | Paperback
Dekorationsartikel gehören nicht zum Leistungsumfang.
Basic Proof Theory
Taschenbuch von Anne S. Troelstra
Sprache: Englisch

63,75 €*

inkl. MwSt.

Versandkostenfrei per Post / DHL

Lieferzeit 1-2 Wochen

Kategorien:
Beschreibung
Introduction to proof theory and its applications in mathematical logic, theoretical computer science and artificial intelligence.
Introduction to proof theory and its applications in mathematical logic, theoretical computer science and artificial intelligence.
Inhaltsverzeichnis
1. Introduction; 2. N-systems and H-systems; 3. Gentzen systems; 4. Cut elimination with applications; 5. Bounds and permutations; 6. Normalization for natural deduction; 7. Resolution; 8. Categorical logic; 9. Modal and linear logic; 10. Proof theory of arithmetic; 11. Second-order logic; Solutions to selected exercises. Bibliography; Symbols and notation; Index.
Details
Erscheinungsjahr: 2002
Genre: Informatik
Rubrik: Naturwissenschaften & Technik
Medium: Taschenbuch
Seiten: 432
Inhalt: Kartoniert / Broschiert
ISBN-13: 9780521779111
ISBN-10: 0521779111
Sprache: Englisch
Ausstattung / Beilage: Paperback
Einband: Kartoniert / Broschiert
Autor: Troelstra, Anne S.
Auflage: 2. Auflage
Hersteller: Cambridge University Press
Maße: 229 x 152 x 26 mm
Von/Mit: Anne S. Troelstra
Erscheinungsdatum: 13.01.2002
Gewicht: 0,697 kg
preigu-id: 104992783
Inhaltsverzeichnis
1. Introduction; 2. N-systems and H-systems; 3. Gentzen systems; 4. Cut elimination with applications; 5. Bounds and permutations; 6. Normalization for natural deduction; 7. Resolution; 8. Categorical logic; 9. Modal and linear logic; 10. Proof theory of arithmetic; 11. Second-order logic; Solutions to selected exercises. Bibliography; Symbols and notation; Index.
Details
Erscheinungsjahr: 2002
Genre: Informatik
Rubrik: Naturwissenschaften & Technik
Medium: Taschenbuch
Seiten: 432
Inhalt: Kartoniert / Broschiert
ISBN-13: 9780521779111
ISBN-10: 0521779111
Sprache: Englisch
Ausstattung / Beilage: Paperback
Einband: Kartoniert / Broschiert
Autor: Troelstra, Anne S.
Auflage: 2. Auflage
Hersteller: Cambridge University Press
Maße: 229 x 152 x 26 mm
Von/Mit: Anne S. Troelstra
Erscheinungsdatum: 13.01.2002
Gewicht: 0,697 kg
preigu-id: 104992783
Warnhinweis

Ähnliche Produkte

Ähnliche Produkte

Taschenbuch
Cover: 9783827426611 | Experimentelle Mathematik | Eine beispielorientierte Einführung | Buch
Experimentelle Mathematik
Eine beispielorientierte Einführung
EAN: 9783827426611
Sprache: Deutsch
Von/Mit: Jonathan Borwein (u. a.)

27,99 €*

Lieferzeit 4-7 Werktage

Taschenbuch
Cover: 9783833423154 | Amadeus Griffbereit - Amadeus Vista Command Page - Basics Air | Buch
Amadeus Griffbereit - Amadeus Vista Command Page - Basics Air
EAN: 9783833423154
Sprache: Deutsch

15,00 €*

Lieferzeit 4-7 Werktage

Buch
Cover: 9780387212395 | Monte Carlo Statistical Methods | George Casella (u. a.) | Buch | XXX
Monte Carlo Statistical Methods
EAN: 9780387212395
Sprache: Englisch
Von/Mit: George Casella (u. a.)

155,95 €*

Lieferzeit 2-3 Wochen

Taschenbuch
Cover: 9783540209584 | Einführung in die Informatik | Objektorientiert mit Java | Taschenbuch
Einführung in die Informatik
Objektorientiert mit Java
EAN: 9783540209584
Sprache: Deutsch
Von/Mit: Wolfgang Küchlin (u. a.)

59,99 €*

Lieferzeit 1-2 Werktage

Taschenbuch
Cover: 9781782164104 | Persistence in PHP with the Doctrine Orm | Kevin Dunglas | Taschenbuch
Persistence in PHP with the Doctrine Orm
EAN: 9781782164104
Sprache: Englisch
Von/Mit: Kevin Dunglas

38,90 €*

Lieferzeit 4-7 Werktage

Taschenbuch
Cover: 9780199268528 | Constructions at Work | The Nature of Generalization in Language
Constructions at Work
The Nature of Generalization in Language
EAN: 9780199268528
Sprache: Englisch
Von/Mit: Adele E. Goldberg

55,25 €*

Lieferzeit 4-7 Werktage

Taschenbuch
Cover: 9783752839449 | Swift programmieren lernen für Einsteiger | Das Übungsheft | Buch
Swift programmieren lernen für Einsteiger
Das Übungsheft
EAN: 9783752839449
Sprache: Deutsch
Von/Mit: Julien Rösch (u. a.)

11,99 €*

Lieferzeit 4-7 Werktage

Taschenbuch
Cover: 9781492075813 | Practical AI on the Google Cloud Platform: Utilizing Google's...
Practical AI on the Google Cloud Platform
Utilizing Google's State-Of-The-Art AI Cloud Services
EAN: 9781492075813
Sprache: Englisch
Von/Mit: Micheal Lanham

67,80 €*

Lieferzeit 1-2 Werktage

Taschenbuch
Cover: 9783658334697 | Datenschutz nach DS-GVO und Informationssicherheit gewährleisten
Datenschutz nach DS-GVO und Informationssicherheit gewährleisten
Eine kompakte Praxishilfe zur Maßnahmenauswahl: Prozess ZAWAS 4.0
EAN: 9783658334697
Sprache: Deutsch
Von/Mit: Stefan Mierowski

14,99 €*

Lieferzeit 1-2 Werktage

Taschenbuch
Cover: 9798223631514 | Plato's Prisoners | Silvia Paddock (u. a.) | Taschenbuch | Paperback
Plato's Prisoners
EAN: 9798223631514
Sprache: Englisch
Von/Mit: Silvia Paddock (u. a.)

20,75 €*

Lieferzeit 4-7 Werktage

Diese Website verwendet Cookies, um eine bestmögliche Erfahrung bieten zu können. Mehr Informationen ...