Darmowa dostawa dla zamówień powyżej 299,00 zł.

Sprawdzić stan zamówienia

Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie

Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł

DPD Kurier 12.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł InPost Kurier 12.99 zł Punkt DPD 11.99 zł

Kontakt

Jak kupować

Pomoc

Moje konto

▸ Pusty :-(

Darmowa dostawa dla zamówień powyżej 299,00 zł.

Structural Proof Theory

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

Sara NegriJan von PlatoAarne Ranta

Język

Angielski

Książka Miękka

Kod Libristo: 02020410

Wydawnictwo Cambridge University Press, lipiec 2008

Structural proof theory is a branch of logic that studies the general structure and properties of lo... Cały opis

Kod Libristo: 02020410

136 b

242.62 zł

Dostępna u dostawcy Wysyłamy za 10-18 dni

Nawet do 30 dni na zwrot

Klienci kupili także

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

Miękka

120.38 zł

portugiesischen Verbalperiphrasen und ihre deutschen Entsprechungen Hans Schemann

Twarda

515.35 zł

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

Twarda

49.54 zł

The Prison Healer - Tome 1 Lynette Noni

Miękka

50.36 zł

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

Kalendarz

319.30 zł

Der Sonnendieb Nicola Slater

Twarda

55.17 zł

Pragnienie wyd. 2023 Jo Nesbo

Miękka

42.89 zł

Fabbricante di lacrime Erin Doom

Miękka

26.40 zł

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

Miękka

39.71 zł

Potměšilá smrt Stanislav Češka

Karta

42.17 zł

Puzzle Przed i po

Gra

26.30 zł

Poločas rozpadu Lubomír Doležel

Książka

31.11 zł

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

Miękka

47.39 zł

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

CD Audio

21.39 zł

Mann in Wut Brad Taylor

Miękka

63.77 zł

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

Twarda

30.50 zł

Podstawy rachunkowosci Zbior zadan z rozwiazaniami Irena Olchowicz

Miękka

57.53 zł

Kredki Bambino świecowe 18 kolorów

Artykuły papiernicze

16.27 zł

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

Twarda

91.82 zł

Le manioc: Antoni Randrianantenaina

Miękka

154.17 zł

DE TRINITATE DE AGOSTINHO COM COMENTARIOS Escriba de Cristo

Adobe ePub DRM

21.39 zł

Ég a Szívben Bakos Attila

Twarda

104.00 zł

Einflusse der neuen Medientechnologien Neder Cristiane Neder

Miękka

202.08 zł

Bridgerton - Penelopes pikantes Geheimnis Petra Lingsminat

Miękka

48.11 zł

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.