Livrare gratuită pentru comenzile peste 349,00 lei.

Verifică starea comenzii

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

Transport gratuit la punctele de livrare Pick Up peste 349.00 lei

Packeta 15.00 lei Serviciul de curierat Cargus 28.00 lei Easybox 20.00 lei FAN Courier 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier DPD 25.00 lei

Contact

Cum să cumpăr

Ajutor

Contul meu

▸ Gol :-(

Livrare gratuită pentru comenzile peste 349,00 lei.

Structural Proof Theory

Name: Structural Proof Theory
Brand: Cambridge University Press
SKU: 02043527
Price: 732.11 RON
Availability: InStock
Author: Professor Sara Negri
ISBN: 9780521793070

Professor Sara Negri

Jan von Plato

Limba

engleză

Carte Copertă tare

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ă

Codul Libristo: 02043527

338 b

732.11 lei

În depozitul extern Expediem în 14-21 zile

Până la 30 de zile pentru returnare

Clienții au cumpărat de asemenea

El matrimonio amateur Anne Tyler

Carte broșată

62.27 lei

My Lovely Daisy. My Beloved Monster. Tom 2 Marta Łabęcka

Carte broșată

54.66 lei

1491 (Espaces Libres - Histoire) Charles C. Mann

Carte broșată

106.22 lei

Demenz in Theologie und Seelsorge Lena-Katharina Roy

Copertă tare

959.24 lei

Le handicap dans notre imaginaire culturel GARDOU CHARLES

Carte broșată

179.74 lei

Irezumi

DVD

126.63 lei

La Belle Histoire du père Noël Ivan Gantschev

Carte broșată

83.09 lei

Coloriages mystères Les grands classiques Disney Disney

Carte broșată

112.36 lei

Droga do rzeczywistości Roger Penrose

Copertă tare

162.66 lei

#Römertopf Dirk Bey

Carte broșată

54.04 lei

ARCHER & ARMSTRONG 1 (EDICION DE LUJO) FRED VAN LENTE

Copertă tare

80.70 lei

Sauerländer BBCrew Dutch Oven Tim Ziegeweidt

Copertă tare

47.89 lei

Vodácký zpěvník 2

Carte broșată

22.27 lei

Handelbarkeit Von Risiken Tilo Dresig

Carte broșată

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