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ł.

Proof Analysis

Name: Proof Analysis
Brand: Cambridge University Press
SKU: 04767586
Price: 247.41 PLN
Availability: InStock
Author: Sara Negri
ISBN: 9781107417236

A Contribution to Hilbert's Last Problem

Sara Negri

Jan von Plato

Język

Angielski

Książka Miękka

Kod Libristo: 04767586

Wydawnictwo Cambridge University Press, czerwiec 2014

This book continues from where the authors' previous book, Structural Proof Theory, ended. It presen... Cały opis

Kod Libristo: 04767586

138 b

Gwarancja
najlepszej
ceny ▸

247.41 zł

Dostępna u dostawcy Wysyłamy za 14-21 dni

Nawet do 30 dni na zwrot

Klienci kupili także

Elements of Logical Reasoning Jan von Plato

Miękka

152.72 zł

Contes à dormir debout T01 (Edition spéciale) Ced Książka

Miękka

84.21 zł

Sefer ha-Razim I und II - Das Buch der Geheimnisse I und II Bill Rebiger

Miękka

425.40 zł

Její děsivá souměrnost Audrey Niffeneggerová

Twarda

55.96 zł

Povídky, které pomáhají Michaela Klevisová

Twarda

11.60 zł

Das Gelübde der vergessenen Tochter Manuela Schörghofer

Miękka

44.67 zł

Lanceurs d'alerte Chacornac

Miękka

125.29 zł

Topologies - au milieu du monde de Michel Houellebecq RACHET

Miękka

37.48 zł

Milk and Honey Kateřina Olivová

Karta

166.89 zł

Oeuvres Diverses de M. Locke . Nouvelle Edition Considerablement Augmentee. (Ed.1732) John Locke

Miękka

200.06 zł

Substancja nieuporządkowana Zagajewski Adam

Twarda

3.38 zł

Automarkt China Thomas Trares

Miękka

85.85 zł

Crache Ton Venin (Remastered 2015) l T

CD Audio

72.91 zł

Coup d'Oeil Heraldique Sur Les Relations Probables Entre Les Differentes Maisons Du Nom de Foucault Daugnon

Miękka

46.21 zł

114 Estrategias, Tacticas Mentales y Ejercicios de Tenis Joseph Correa

Miękka

88.01 zł

This book continues from where the authors' previous book, Structural Proof Theory, ended. It presents an extension of the methods of analysis of proofs in pure logic to elementary axiomatic systems and to what is known as philosophical logic. A self-contained brief introduction to the proof theory of pure logic is included that serves both the mathematically and philosophically oriented reader. The method is built up gradually, with examples drawn from theories of order, lattice theory and elementary geometry. The aim is, in each of the examples, to help the reader grasp the combinatorial behaviour of an axiom system, which typically leads to decidability results. The last part presents, as an application and extension of all that precedes it, a proof-theoretical approach to the Kripke semantics of modal and related logics, with a great number of new results, providing essential reading for mathematical and philosophical logicians.