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.

Structural Proof Theory

Limba englezăengleză
Carte Copertă tare
Carte Structural Proof Theory Professor Sara Negri
Codul Libristo: 02043527
Editura Cambridge University Press, iunie 2001
Structural proof theory is a branch of logic that studies the general structure and properties of lo... Descrierea completă
? points 338 b
730.21 lei
În depozitul extern Expediem în 9-15 zile

30 de zile pentru retur bunuri

Clienții au cumpărat de asemenea

El matrimonio amateur Anne Tyler / Carte Carte broșată
common.buy 62.52 lei
My Lovely Daisy. My Beloved Monster. Tom 2 Marta Łabęcka / Carte Carte broșată
common.buy 55.56 lei
1491 (Espaces Libres - Histoire) Charles C. Mann / Carte Carte broșată
common.buy 107.08 lei
Demenz in Theologie und Seelsorge Lena-Katharina Roy / Carte Copertă tare
common.buy 956.75 lei
Le handicap dans notre imaginaire culturel GARDOU CHARLES / Carte Carte broșată
common.buy 180.62 lei
Irezumi / Videoclip DVD
common.buy 127.44 lei
La Belle Histoire du père Noël Ivan Gantschev / Carte Carte broșată
common.buy 83.92 lei
Top
Coloriages mystères Les grands classiques Disney Disney / Carte Carte broșată
common.buy 112.90 lei
Top
Droga do rzeczywistości Roger Penrose / Carte Copertă tare
common.buy 162.86 lei
Top
#Römertopf Dirk Bey / Carte Carte broșată
common.buy 47.77 lei
ARCHER & ARMSTRONG 1 (EDICION DE LUJO) FRED VAN LENTE / Carte Copertă tare
common.buy 80.91 lei
Sauerländer BBCrew Dutch Oven Tim Ziegeweidt / Carte Copertă tare
common.buy 47.77 lei
Vodácký zpěvník 2 / Carte Carte broșată
common.buy 20.56 lei
Handelbarkeit Von Risiken Tilo Dresig / Carte Carte broșată
common.buy 319.29 lei

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.

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 Structural Proof Theory
Autor Professor Sara Negri, Jan von Plato
Limba engleză
Legare Carte - Copertă tare
Data publicării 2001
Număr pagini 276
EAN 9780521793070
ISBN 0521793076
Codul Libristo 02043527
Editura Cambridge University Press
Greutatea 599
Dimensiuni 152 x 229 x 17

Categorii

Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic
Philosophy & Religion > Philosophy > Topics in philosophy > Philosophy: logic
Mathematics & Science > Mathematics > Probability & statistics
Mathematics & Science > Science: general issues > Philosophy of science
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

Top
Complete Dramatic Works of Samuel Beckett Samuel Beckett / Carte Carte broșată
common.buy 103.86 lei
Risk Communication M. Granger Morgan / Carte Copertă tare
common.buy 812.06 lei
Blood Kiss Karen Tjebben / Carte Carte broșată
common.buy 51.93 lei
Ghost Light: A Memoir Frank L. Rich / Carte Carte broșată
common.buy 99.50 lei
Top
I Love You So Much, I Hate You Eleanor Summers / Carte Carte broșată
common.buy 59.30 lei
Top
Batman: Beyond the White Knight Sean Murphy / Carte Copertă tare
common.buy 118.09 lei
Twin Natasha Preston / Carte Carte broșată
common.buy 48.39 lei
Witch's Book of Mysteries,The Devin Hunter / Carte Carte broșată
common.buy 110.51 lei
Lonely Planet Pocket Helsinki Lonely Planet / Carte Carte broșată
common.buy 91.09 lei
Passive Income: The Ultimate Beginner's Guide to Passive Income and Earning Money While You Sleep Lucas Arquette / Carte Carte broșată
common.buy 86.72 lei
Mathematics in Early Years Education Ann Montague-Smith / Carte Copertă tare
common.buy 1 142.79 lei
Top
The Enchanted Greenhouse Sarah Beth Durst / Carte Copertă tare
common.buy 130.24 lei
The Farm Tom Rob Smith / Carte Carte broșată
common.buy 92.33 lei
Top
Man's Search for Meaning, Gift Edition Viktor Emil Frankl / Carte Copertă tare
common.buy 112.28 lei
Mechthild of Magdeburg Mechthild of Magdeburg / Carte Carte broșată
common.buy 91.09 lei
Shaman, M.D. Dr. Eve Bruce / Carte Carte broșată
common.buy 76.75 lei
Top
Concise Oxford English Dictionary Oxford Dictionaries / Carte Copertă tare
common.buy 138.66 lei
Milton: Paradise Lost Alistair Fowler / Carte Carte broșată
common.buy 344.74 lei
Musical Mind John A. Sloboda / Carte Carte broșată
common.buy 416.83 lei
Analysis of Happiness W. Tatarkiewicz / Carte Carte broșată
common.buy 738.00 lei
Untimely Frost Stephan Le Marchand / Carte Carte broșată
common.buy 75.30 lei
100 Soup Maker Recipes Liana Green / Carte Carte broșată
common.buy 60.55 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
Consilier de cărți Libroamiko
Bună ziua, sunt Libroamiko, vă pot ajuta?