A rendelés állapotának ellenőrzése
LIBRISTO
LIBROAMANTO
kötelező
Elfelejtett jelszó
Legyen része a világ minden tájáról összegyűlt könyvbarátok közösségének és élvezze a rengeteg előnyt. Ingyenes regisztráció
0
Ingyenes szállítás a FoxPost futárszolgálattal, 19 990 Ft feletti vásárlás esetén
DPD gyűjtőpont 990 Ft DPD futárszolgálat 1 190 Ft GLS pont 1 190 Ft Magyar Posta 1 795 Ft PostaPont / Csomagautomata 1 690 Ft Magyar Posta 1 690 Ft FoxPost 1 190 Ft Packeta 1 190 Ft GLS futár 1 690 Ft
phone Kapcsolat phoneHogyan vásároljunk
Ingyenes szállítás 19 990 Ft feletti rendelés esetén – Packeta, Fox Post Box és DPD csomagpont átvétellel

Structural Proof Theory

Nyelv AngolAngol
Könyv Kemény kötésű
Könyv Structural Proof Theory Professor Sara Negri
Libristo kód: 02043527
Kiadó Cambridge University Press, június 2001
Structural proof theory is a branch of logic that studies the general structure and properties of lo... Teljes leírás
? points 347 b
51 716 Ft
Beszállítói készleten Küldés 14-21 napon belül

Akár 30 napos visszaküldési lehetőség

A vásárlók ilyet vásároltak

El matrimonio amateur Anne Tyler / Könyv Puha kötésű
common.buy 4 296 Ft
My Lovely Daisy. My Beloved Monster. Tom 2 Marta Łabęcka / Könyv Puha kötésű
common.buy 3 670 Ft
1491 (Espaces Libres - Histoire) Charles C. Mann / Könyv Puha kötésű
common.buy 7 354 Ft
Demenz in Theologie und Seelsorge Lena-Katharina Roy / Könyv Kemény kötésű
common.buy 67 978 Ft
Le handicap dans notre imaginaire culturel GARDOU CHARLES / Könyv Puha kötésű
common.buy 12 446 Ft
Irezumi / Filmek DVD
common.buy 8 775 Ft
La Belle Histoire du père Noël Ivan Gantschev / Könyv Puha kötésű
common.buy 5 759 Ft
Toplistás
Coloriages mystères Les grands classiques Disney Disney / Könyv Puha kötésű
common.buy 7 773 Ft
Droga do rzeczywistości Roger Penrose / Könyv Kemény kötésű
common.buy 11 189 Ft
#Römertopf Dirk Bey / Könyv Puha kötésű
common.buy 3 731 Ft
ARCHER & ARMSTRONG 1 (EDICION DE LUJO) FRED VAN LENTE / Könyv Kemény kötésű
common.buy 5 552 Ft
Sauerländer BBCrew Dutch Oven Tim Ziegeweidt / Könyv Kemény kötésű
common.buy 3 416 Ft
Vodácký zpěvník 2 / Könyv Puha kötésű
common.buy 1 416 Ft
Handelbarkeit Von Risiken Tilo Dresig / Könyv Puha kötésű
common.buy 22 708 Ft

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.

Színésznő & Poliglott
EWA KASP részére
A videó lejátszása
Ewa Kasp
A Libristo rendelkezik az idegennyelvű könyvek legnagyobb kínálatával. Ezért vásárolom a könyveket itt.

Információ a könyvről

Teljes megnevezés Structural Proof Theory
Szerző Professor Sara Negri, Jan von Plato
Nyelv Angol
Kötés Könyv - Kemény kötésű
Kiadás éve 2001
Oldalszám 276
EAN 9780521793070
ISBN 0521793076
Libristo kód 02043527
Kiadó Cambridge University Press
Súly 599
Méretek 152 x 229 x 17

Kategória

Matematika és természettudomány > Matematika > Matematika alapjai > Matematikai logika
Filozófia és vallás > Filozófia > Témák a filozófiában > Filozófia: logika
Matematika és természettudomány > Matematika > Valószínűség és statisztika
Matematika és természettudomány > Tudomány: általános kérdések > Tudomány filozófiája
Ajándékozza oda ezt a könyvet még ma
Nagyon egyszerű
1 Tegye a kosárba könyvet, és válassza ki a kiszállítás ajándékként opciót 2 Rögtön küldjük Önnek az utalványt 3 A könyv megérkezik a megajándékozott címére

Ezt is ajánljuk

Toplistás
Complete Dramatic Works of Samuel Beckett Samuel Beckett / Könyv Puha kötésű
common.buy 7 580 Ft
Risk Communication M. Granger Morgan / Könyv Kemény kötésű
common.buy 57 504 Ft
Blood Kiss Karen Tjebben / Könyv Puha kötésű
common.buy 3 684 Ft
Ghost Light: A Memoir Frank L. Rich / Könyv Puha kötésű
common.buy 7 086 Ft
I Love You So Much, I Hate You Eleanor Summers / Könyv Puha kötésű
common.buy 4 221 Ft
Toplistás
Batman: Beyond the White Knight Sean Murphy / Könyv Kemény kötésű
common.buy 9 189 Ft
Twin Natasha Preston / Könyv Puha kötésű
common.buy 3 628 Ft
Witch's Book of Mysteries,The Devin Hunter / Könyv Puha kötésű
common.buy 8 056 Ft
Lonely Planet Pocket Helsinki Lonely Planet / Könyv Puha kötésű
common.buy 6 268 Ft
Passive Income: The Ultimate Beginner's Guide to Passive Income and Earning Money While You Sleep Lucas Arquette / Könyv Puha kötésű
common.buy 6 145 Ft
Mathematics in Early Years Education Ann Montague-Smith / Könyv Kemény kötésű
common.buy 80 828 Ft
The Enchanted Greenhouse Sarah Beth Durst / Könyv Kemény kötésű
common.buy 8 982 Ft
The Farm Tom Rob Smith / Könyv Puha kötésű
common.buy 6 131 Ft
Toplistás
Man's Search for Meaning, Gift Edition Viktor Emil Frankl / Könyv Kemény kötésű
common.buy 8 027 Ft
Mechthild of Magdeburg Mechthild of Magdeburg / Könyv Puha kötésű
common.buy 6 432 Ft
Shaman, M.D. Dr. Eve Bruce / Könyv Puha kötésű
common.buy 5 477 Ft
Toplistás
Concise Oxford English Dictionary Oxford Dictionaries / Könyv Kemény kötésű
common.buy 10 681 Ft
Milton: Paradise Lost Alistair Fowler / Könyv Puha kötésű
common.buy 24 858 Ft
Musical Mind John A. Sloboda / Könyv Puha kötésű
common.buy 30 067 Ft
Analysis of Happiness W. Tatarkiewicz / Könyv Puha kötésű
common.buy 52 492 Ft
Untimely Frost Stephan Le Marchand / Könyv Puha kötésű
common.buy 5 326 Ft
100 Soup Maker Recipes Liana Green / Könyv Puha kötésű
common.buy 4 296 Ft

Belépés

Bejelentkezés a saját fiókba. Még nincs Libristo fiókja? Hozza létre most!

 
kötelező
kötelező
Elfelejtett jelszó

Nincs fiókja? Szerezze meg a Libristo fiók kedvezményeit!

A Libristo fióknak köszönhetően mindent a felügyelete alatt tarthat.

Libristo fiók létrehozása
Libroamiko könyvtanácsadó
Szia, Libroamiko vagyok, segíthetek?