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: 02043527
Price: 137.89 EUR
Availability: InStock
Author: Professor Sara Negri
ISBN: 9780521793070

Professor Sara Negri

Jan von Plato

Sprache

Englisch

Buch Hardcover

Libristo-Code: 02043527

Verlag Cambridge University Press, Juni 2001

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

Libristo-Code: 02043527

337 b

137.89 € inkl. MwSt.

Externes Lager Wir versenden in 9-15 Tagen

30 Tage für die Rückgabe der Ware

Kunden kauften auch

El matrimonio amateur Anne Tyler

Broschur

12.39 €

My Lovely Daisy. My Beloved Monster. Tom 2 Marta Łabęcka

Broschur

11.09 €

1491 (Espaces Libres - Histoire) Charles C. Mann

Broschur

21.09 €

Demenz in Theologie und Seelsorge Lena-Katharina Roy

Hardcover

180.69 €

Le handicap dans notre imaginaire culturel GARDOU CHARLES

Broschur

35.59 €

Irezumi

DVD

25.09 €

La Belle Histoire du père Noël Ivan Gantschev

Broschur

16.49 €

Coloriages mystères Les grands classiques Disney Disney

Broschur

22.29 €

Droga do rzeczywistości Roger Penrose

Hardcover

32.59 €

#Römertopf Dirk Bey

Broschur

9.99 €

ARCHER & ARMSTRONG 1 (EDICION DE LUJO) FRED VAN LENTE

Hardcover

15.99 €

Sauerländer BBCrew Dutch Oven Tim Ziegeweidt

Hardcover

9.99 €

Vodácký zpěvník 2

Broschur

4.09 €

Handelbarkeit Von Risiken Tilo Dresig

Broschur

60.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 Professor Sara Negri, Jan von Plato

Sprache

Englisch

Einband Buch - Hardcover

Datum der Veröffentlichung 2001

Anzahl der Seiten 276

EAN 9780521793070

ISBN 0521793076

Libristo-Code 02043527

Verlag Cambridge University Press

Gewicht 599

Abmessungen 152 x 229 x 17

Kategorie

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

Philosophie und Religion > Philosophie > Themen der Philosophie > Logik

Mathematik und Naturwissenschaften > Mathematik > Wahrscheinlichkeitsrechnung und Statistik

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