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 Carte broșată
Carte Structural Proof Theory Sara NegriJan von PlatoAarne Ranta
Codul Libristo: 02020410
Editura Cambridge University Press, iulie 2008
Structural proof theory is a branch of logic that studies the general structure and properties of lo... Descrierea completă
? points 143 b
309.11 lei
În depozitul extern Expediem în 10-18 zile

30 de zile pentru retur bunuri

Clienții au cumpărat de asemenea

portugiesischen Verbalperiphrasen und ihre deutschen Entsprechungen Hans Schemann / Carte Copertă tare
common.buy 656.46 lei
Marci Terentii Varronis Libri Tres de Re Rustica... - Primary Source Edition Marcus Terentius Varro / Carte Carte broșată
common.buy 152.68 lei
Siła Życiowa. Cztery sposoby dokonywania wewnętrznej transformacji i rozpalania swojego potencjału Barry Michels / Carte Carte broșată
common.buy 58.36 lei
Na wsi. Co słychać? Książka dźwiękowa z 10 przyciskami Bogusław Michalec / Carte Copertă tare
common.buy 73.74 lei
Potměšilá smrt Stanislav Češka / Carte Foaie
common.buy 54.11 lei
The Prison Healer - Tome 1 Lynette Noni / Carte Carte broșată
common.buy 61.69 lei
La Liga / La Liga: Official Book of the 2021-2022 Season LA LIGA / Carte Copertă tare
common.buy 111.13 lei
Puzzle Przed i po / Joc / Jucărie Joc
common.buy 37.17 lei
Top
Uwolnij się od toksycznych emocji Leah Guy / Carte Carte broșată
common.buy 46.52 lei
Bridgerton - Penelopes pikantes Geheimnis Petra Lingsminat / Carte Carte broșată
common.buy 61.90 lei
Einflusse der neuen Medientechnologien Neder Cristiane Neder / Carte Carte broșată
common.buy 258.94 lei
Podstawy rachunkowosci Zbior zadan z rozwiazaniami Irena Olchowicz / Carte Carte broșată
common.buy 78.93 lei
Jídlo v životě dítěte a adolescenta Slávka Fraňková / Carte Carte broșată
common.buy 57.33 lei
DE TRINITATE DE AGOSTINHO COM COMENTARIOS Escriba de Cristo / E-book Adobe ePub DRM
common.buy 25.75 lei
Le manioc: Antoni Randrianantenaina / Carte Carte broșată
common.buy 197.66 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 Sara NegriJan von PlatoAarne Ranta
Limba engleză
Legare Carte - Carte broșată
Data publicării 2008
Număr pagini 276
EAN 9780521068420
ISBN 0521068428
Codul Libristo 02020410
Editura Cambridge University Press
Greutatea 416
Dimensiuni 229 x 155 x 18

Categorii

Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic
Philosophy & Religion > Philosophy > Topics in philosophy > Philosophy: logic
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

The Dynasty Of Theodosius: Or Eighty Years' Struggle With The Barbarians Thomas Hodgkin / Carte Carte broșată
common.buy 158.08 lei
Brief History of Indonesia Tim Hannigan / Carte Carte broșată
common.buy 75.51 lei
Hubble Cosmos David H. Devorkin / Carte Copertă tare
common.buy 198.80 lei
Top
The Way of Kings Brandon Sanderson / Carte Carte broșată
common.buy 77.89 lei
Top
Writing Subtext Linda Seger / Carte Carte broșată
common.buy 83.50 lei
Triumphs of Temper William Hayley / Carte Copertă tare
common.buy 173.46 lei
Top
One Piece (Omnibus Edition), Vol. 21 Eiichiro Oda / Carte Carte broșată
common.buy 75.51 lei
Sleep Solution W. Chris Winter / Carte Carte broșată
common.buy 101.06 lei
Anatomy of the State Murray N Rothbard / Carte Carte broșată
common.buy 36.14 lei
Little Traveller Board Book Set / Carte Cărți pliante
common.buy 91.71 lei
Edgar Cayce and the Secret of the Golden Flower John Van Auken / Carte Carte broșată
common.buy 71.35 lei
Communication Skills For Dummies Elizabeth Kuhnke / Carte Carte broșată
common.buy 79.56 lei
Sewing Jeans Johanna Lundstrom / Carte Carte broșată
common.buy 136.06 lei
Cat WILL EMILIA / Carte Copertă tare
common.buy 60.34 lei
Glitch Laura Martin / Carte Carte broșată
common.buy 46.94 lei
Top
Frans Hals Lelia Packer / Carte Carte broșată
common.buy 128.69 lei
Punjabi Student Dictionary: English-Punjabi/ Punjabi-English / Carte Carte broșată
common.buy 108.12 lei
Finding Form with Fibre: be inspired, gather materials, and create your own sculptural basketry Ruth Woods / Carte Carte broșată
common.buy 155.90 lei
Hidden Japan: A Fragile Landscape of Thatched Villages, Ancient Shrines and Primeval Forests Alex Kerr / Carte Carte broșată
common.buy 71.56 lei
Top
VILLAINS ARE DESTINED TO DIE V06 V06 / Carte Carte broșată
common.buy 87.76 lei
Eros and Empire – The Transnational Struggle for Sexual Freedom in the United States Alexander Stoffel / Carte Copertă tare
common.buy 422.65 lei
Top
Sunrise on the Reaping Suzanne Collins / Carte Copertă tare
common.buy 85.17 lei
Top
Prisoners of Geography Tim Marshall / Carte Carte broșată
common.buy 56.18 lei
Architectural Finishes in the Built Environment Mary A. Jablonski / Carte Copertă tare
common.buy 325.52 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?