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

Österreichische Post 5.49 € GLS-Kurier 4.99 € DPD-Kurier 4.49 € DPD-Stelle 3.49 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Structural Proof Theory

Name: Structural Proof Theory
Brand: Cambridge University Press
SKU: 02020410
Price: 52.49 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

128 b

52.49 € inkl. MwSt.

Externes Lager Wir versenden in 10-18 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

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

Broschur

28.79 €

portugiesischen Verbalperiphrasen und ihre deutschen Entsprechungen Hans Schemann

Hardcover

119.95 €

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

Hardcover

10.39 €

The Prison Healer - Tome 1 Lynette Noni

Broschur

11.99 €

Zauberbäume (hochwertiger Premium Wandkalender 2026 DIN A2 hoch), Kunstdruck in Hochglanz Calvendo

Kalender

74.99 €

Der Sonnendieb Nicola Slater

Hardcover

15.00 €

Pragnienie wyd. 2023 Jo Nesbo

Broschur

9.79 €

Fabbricante di lacrime Erin Doom

Broschur

5.09 €

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

Broschur

7.79 €

Potměšilá smrt Stanislav Češka

Blatt

7.79 €

Puzzle Przed i po

Spiel

7.39 €

Poločas rozpadu Lubomír Doležel

Buch

5.89 €

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

Broschur

9.79 €

CD-Najkrajšie rozprávky Márie Ďuríčkovej(1) neuvedený autor

Audio CD

4.49 €

Mann in Wut Brad Taylor

Broschur

13.95 €

Lietajúci pútnik dvadsiateho storočia Šebastián Labo

Hardcover

6.29 €

Podstawy rachunkowosci Zbior zadan z rozwiazaniami Irena Olchowicz

Broschur

15.59 €

Kredki Bambino świecowe 18 kolorów

Papier- und Schreibwaren

3.49 €

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

Hardcover

22.29 €

Le manioc: Antoni Randrianantenaina

Broschur

35.29 €

DE TRINITATE DE AGOSTINHO COM COMENTARIOS Escriba de Cristo

Adobe ePub DRM

5.09 €

Ég a Szívben Bakos Attila

Hardcover

19.69 €

Einflusse der neuen Medientechnologien Neder Cristiane Neder

Broschur

52.40 €

Bridgerton - Penelopes pikantes Geheimnis Petra Lingsminat

Broschur

13.00 €

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