Status der Bestellung anzeigen

Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen

Kostenloser Versand mit Zásilkovna ab 69.99 €

Österreichische Post 5.49 € GLS-Kurier 4.99 € GLS-Kurier 4.99 € DPD-Kurier 3.99 € DPD-Stelle 2.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Structural Proof Theory

Name: Structural Proof Theory
Brand: Cambridge University Press
SKU: 02020410
Price: 64.19 EUR
Availability: InStock
Author: Sara NegriJan von PlatoAarne Ranta
ISBN: 9780521068420

Sara NegriJan von PlatoAarne Ranta

Sprache

Englisch

Buch Broschur

Libristo-Code: 02020410

Verlag Cambridge University Press, Juli 2008

Structural proof theory is a branch of logic that studies the general structure and properties of lo... Vollständige Beschreibung

Libristo-Code: 02020410

157 b

64.19 € inkl. MwSt.

Externes Lager Wir versenden in 10-18 Tagen

30 Tage für die Rückgabe der Ware

Kunden kauften auch

portugiesischen Verbalperiphrasen und ihre deutschen Entsprechungen Hans Schemann

Hardcover

123.99 €

Marci Terentii Varronis Libri Tres de Re Rustica... - Primary Source Edition Marcus Terentius Varro

Broschur

28.79 €

Siła Życiowa. Cztery sposoby dokonywania wewnętrznej transformacji i rozpalania swojego potencjału Barry Michels

Broschur

11.59 €

Na wsi. Co słychać? Książka dźwiękowa z 10 przyciskami Bogusław Michalec

Hardcover

14.79 €

Potměšilá smrt Stanislav Češka

Blatt

10.79 €

The Prison Healer - Tome 1 Lynette Noni

Broschur

12.19 €

La Liga / La Liga: Official Book of the 2021-2022 Season LA LIGA

Hardcover

22.39 €

Puzzle Przed i po

Spiel

7.39 €

Uwolnij się od toksycznych emocji Leah Guy

Broschur

9.29 €

Bridgerton - Penelopes pikantes Geheimnis Petra Lingsminat

Broschur

13.00 €

Einflusse der neuen Medientechnologien Neder Cristiane Neder

Broschur

52.40 €

Podstawy rachunkowosci Zbior zadan z rozwiazaniami Irena Olchowicz

Broschur

15.49 €

Jídlo v životě dítěte a adolescenta Slávka Fraňková

Broschur

11.49 €

DE TRINITATE DE AGOSTINHO COM COMENTARIOS Escriba de Cristo

Adobe ePub DRM

5.09 €

Le manioc: Antoni Randrianantenaina

Broschur

37.29 €

Structural proof theory is a branch of logic that studies the general structure and properties of logical and mathematical proofs. This book is both a concise introduction to the central results and methods of structural proof theory, and a work of research that will be of interest to specialists. The book is designed to be used by students of philosophy, mathematics and computer science. The book contains a wealth of results on proof-theoretical systems, including extensions of such systems from logic to mathematics, and on the connection between the two main forms of structural proof theory - natural deduction and sequent calculus. The authors emphasize the computational content of logical results. A special feature of the volume is a computerized system for developing proofs interactively, downloadable from the web and regularly updated.

Schauspielerin & Polyglotte

EWA KASP für

Video abspielen

Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Structural Proof Theory

Autor Sara NegriJan von PlatoAarne Ranta

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2008

Anzahl der Seiten 276

EAN 9780521068420

ISBN 0521068428

Libristo-Code 02020410

Verlag Cambridge University Press

Gewicht 416

Abmessungen 229 x 155 x 18

Kategorie

Mathematik und Naturwissenschaften > Mathematik > Mathematische Grundlagen > Mathematik: Logik

Philosophie und Religion > Philosophie > Themen der Philosophie > Logik

Mathematik und Naturwissenschaften > Naturwissenschaften, allgemein > Wissenschaftsphilosophie und -theorie

Verschenken Sie dieses Buch noch heute

Es ist ganz einfach

1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert