Над 4 милиона заглавия на английски и други езици! Открийте новата си история още днес! Безплатна доставка за поръчки над 69.99€

Проверка на състоянието на поръчката

Станете част от общност от любители на книгите от цял свят и получавате много предимства. Създай на безплатен акаунт

Безплатна доставка със Еконт над 69.99 €

Куриер Speedy 3.49 € Пункт на Speedy 3.49 € ЕКОНТ 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday 3.99 € Sameday box 3.99 € Box Now 3.99 €

Контакт

Как се пазарува?

Помощ

Моят акаунт

▸ Празна :-(

Structural Proof Theory

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

Professor Sara Negri

Jan von Plato

Език

Английски език

Книга С твърди корици

Код Либристо: 02043527

Издателство Cambridge University Press, юни 2001

Structural proof theory is a branch of logic that studies the general structure and properties of lo... Цялото описание

Код Либристо: 02043527

323 b

133.52 €

261.15 лв

Външен склад Изпращаме след 9-15 дни

30 дни за връщане на стоката

Клиентите са закупили също

El matrimonio amateur Anne Tyler

С меки корици

12.52 € 24.50 лв

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

С меки корици

11.23 € 21.96 лв

1491 (Espaces Libres - Histoire) Charles C. Mann

С меки корици

21.33 € 41.71 лв

Demenz in Theologie und Seelsorge Lena-Katharina Roy

С твърди корици

182.97 € 357.85 лв

Le handicap dans notre imaginaire culturel GARDOU CHARLES

С меки корици

36.03 € 70.47 лв

Irezumi

DVD

25.42 € 49.71 лв

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

С меки корици

16.72 € 32.70 лв

Coloriages mystères Les grands classiques Disney Disney

С меки корици

22.57 € 44.14 лв

Droga do rzeczywistości Roger Penrose

С твърди корици

33.03 € 64.60 лв

#Römertopf Dirk Bey

С меки корици

9.16 € 17.91 лв

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

С твърди корици

16.15 € 31.58 лв

Sauerländer BBCrew Dutch Oven Tim Ziegeweidt

С твърди корици

9.16 € 17.91 лв

Vodácký zpěvník 2

С меки корици

4.19 € 8.19 лв

Handelbarkeit Von Risiken Tilo Dresig

С меки корици

61.04 € 119.38 лв

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.