Verifică starea comenzii
LIBRISTO
LIBROAMANTO
obligatoriu
Parolă uitată
Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit
0
Transport gratuit la punctele de livrare Pick Up peste 349.00 lei
Packeta 15.00 lei Cargus 28.00 lei Easybox 20.00 lei FAN 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier Sameday 24.00 lei Curier DPD 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile peste 349,00 lei.

Proof Analysis

A Contribution to Hilbert's Last Problem

Limba englezăengleză
Carte Carte broșată
Carte Proof Analysis Sara Negri
Codul Libristo: 04767586
Editura Cambridge University Press, iunie 2014
This book continues from where the authors' previous book, Structural Proof Theory, ended. It presen... Descrierea completă
? points 144 b
313.55 lei
În depozitul extern Expediem în 9-15 zile

30 de zile pentru retur bunuri

Clienții au cumpărat de asemenea

Elements of Logical Reasoning Jan von Plato / Carte Carte broșată
common.buy 193.74 lei
Leftin
Topologies - au milieu du monde de Michel Houellebecq RACHET / Carte Carte broșată
common.buy 64.96 lei
Povídky, které pomáhají Michaela Klevisová / Carte Copertă tare
common.buy 10.83 lei
Contes à dormir debout T01 (Edition spéciale) Ced Carte Carte broșată
common.buy 102.50 lei
Lanceurs d'alerte Chacornac / Carte Carte broșată
common.buy 157.03 lei
114 Estrategias, Tacticas Mentales y Ejercicios de Tenis Joseph Correa / Carte Carte broșată
common.buy 111.78 lei
Leftin
Substancja nieuporządkowana Zagajewski Adam / Carte Copertă tare
common.buy 8.12 lei
Oeuvres Diverses de M. Locke . Nouvelle Edition Considerablement Augmentee. (Ed.1732) John Locke / Carte Carte broșată
common.buy 275.80 lei
Crache Ton Venin (Remastered 2015) l T / Audio Audio CD
common.buy 93.11 lei
Automarkt China Thomas Trares / Carte Carte broșată
common.buy 110.11 lei
Coup d'Oeil Heraldique Sur Les Relations Probables Entre Les Differentes Maisons Du Nom de Foucault Daugnon / Carte Carte broșată
common.buy 70.17 lei

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.

Actriță & Poliglotă
EWA KASP pentru
Redă videoclipul
Ewa Kasp
Libristo are cea mai mare selecție de literatură în limbi străine. De aceea îmi cumpăr cărțile de aici.

Informații despre carte

Titlu complet Proof Analysis
Autor Sara Negri, Jan von Plato
Limba engleză
Legare Carte - Carte broșată
Data publicării 2014
Număr pagini 278
EAN 9781107417236
ISBN 1107417236
Codul Libristo 04767586
Editura Cambridge University Press
Greutatea 472
Dimensiuni 172 x 246 x 18

Categorii

Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic
Philosophy & Religion > Philosophy > Topics in philosophy > Philosophy: logic
Mathematics & Science > Mathematics > Philosophy of mathematics
Dăruiește această carte chiar astăzi
Este foarte ușor
1 Adaugă cartea în coș și selectează Livrează ca un cadou 2 Îți vom trimite un voucher în schimb 3 Cartea va ajunge direct la adresa destinatarului

Ar putea de asemenea, să te intereseze

Creating Modern Probability Jan von Plato / Carte Carte broșată
common.buy 296.66 lei
Supplying War Martin Van Creveld / Carte Carte broșată
common.buy 226.27 lei
Injunctions against Intermediaries in the European Union Martin Husovec / Carte Copertă tare
common.buy 815.24 lei
From Brouwer to Hilbert Paolo Mancosu / Carte Carte broșată
common.buy 737.86 lei
Mesmerism and Christian Science Frank Podmore / Carte Carte broșată
common.buy 208.86 lei
Problems And Solutions In Mathematical Olympiad (High School 2) Shi-Xiong Liu / Carte Carte broșată
common.buy 338.79 lei
Classical Tour Through Italy, Volume 1 John Chetwode Eustace / Carte Copertă tare
common.buy 210.84 lei
Creative Destruction of Medicine (Revised and Expanded Edition) Eric Topol / Carte Carte broșată
common.buy 107.71 lei
Uav Pilot Logbook Michael L. Rampey / Carte Carte broșată
common.buy 80.08 lei
Ella and Owen 5: The Great Troll Quest Jaden Kent / Carte Copertă tare
common.buy 75.80 lei
Curând
History of Medicine in Twelve Objects Carol Cooper / Carte Carte broșată
common.buy 66.41 lei
Top
The Noma Guide to Fermentation René Redzepi / Carte Copertă tare
common.buy 175.91 lei
Preston Lee's Conversation English For Vietnamese Speakers Lesson 1 - 40 (British Version) Matthew Preston / Carte Carte broșată
common.buy 87.06 lei
The Stories of Anton Chekhov Anton Pavlovich Chekhov / Carte Carte broșată
common.buy 210.84 lei
Evocating the Gods CHRISTOPH PLAISANCE / Carte Carte broșată
common.buy 121.58 lei
Problems And Solutions In Mathematical Olympiad (Secondary 3) Jun Ge / Carte Carte broșată
common.buy 281.85 lei
Problems And Solutions In Mathematical Olympiad (High School 1) Zhigang Feng / Carte Carte broșată
common.buy 338.79 lei
Top
SEOUL University Korean 1A Student's Book QR Seoul National University / Carte Carte broșată
common.buy 209.59 lei
Problems And Solutions In Mathematical Olympiad (High School 3) Hong-Bing Yu / Carte Carte broșată
common.buy 281.85 lei
Hunger Lola Haskins / Carte Carte broșată
common.buy 88.10 lei
Alexander's expedition down the Hydaspes and the Indus to the Indian ocean Thomas Beddoes / Carte Carte broșată
common.buy 228.05 lei
Top
Egyptian Book of the Dead Arcturus Publishing / Carte Copertă tare
common.buy 54.74 lei
The Adventures of Sherlock Holmes Sir Arthur Conan Doyle / Carte Copertă tare
common.buy 56.93 lei
Understanding the Origin of Matter David Blaschke / Carte Carte broșată
common.buy 184.35 lei

Logare

Conectare la contul de utilizator Încă nu ai un cont Libristo? Crează acum!

 
obligatoriu
obligatoriu
Parolă uitată

Nu ai un cont? Beneficii cu contul Libristo!

Datorită contului Libristo, vei avea totul sub control.

Creare cont Libristo