Над 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 €

Контакт

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

Помощ

Моят акаунт

▸ Празна :-(

Interpolation and Definability

Name: Interpolation and Definability
Brand: Oxford University Press
SKU: 04527006
Price: 250.79 EUR
Availability: InStock
Author: Dov M. Gabbay
ISBN: 9780198511748

Modal and Intuitionistic Logics

Dov M. Gabbay

Larisa Maksimova

Език

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

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

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

Издателство Oxford University Press, май 2005

This book is a specialized monograph on interpolation and definability, a notion central in pure log... Цялото описание

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

606 b

250.79 €

490.51 лв

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

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

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

Superbornene og de stjalne smykker Mette Vejlstrup Friis

С меки корици

8.75 € 17.11 лв

Comunicación efectiva y trabajo en equipo MANUEL FERNANDEZ BALMON

С меки корици

17.19 € 33.62 лв

Ritux Joachim Strienz

С меки корици

9.68 € 18.93 лв

Wie Cindarella in mein Leben platzte Michael Sandstrom

С меки корици

8.33 € 16.30 лв

Baby Pixi 84: Mein Lieblingsbuch vom Zuhause Denitza Gruber

С меки корици

4.81 € 9.41 лв

Maruyama Masao - Un regard japonais sur la modernité Bernard Stevens

С меки корици

28.79 € 56.30 лв

This book is a specialized monograph on interpolation and definability, a notion central in pure logic and with significant meaning and applicability in all areas where logic is applied, especially computer science, artificial intelligence, logic programming, philosophy of science and natural language. Suitable for researchers and graduate students in mathematics, computer science and philosophy, this is the latest in the prestigous world-renowned Oxford Logic Guides, which contains Michael Dummet's Elements of intuitionism (second edition), J. M. Dunn and G. Hardegree's Algebraic Methods in Philosophical Logic, H. Rott's Change, Choice and Inference: A Study of Belief Revision and Nonmonotonic Reasoning, P. T. Johnstone's Sketches of an Elephant: A Topos Theory Compendium: Volumes 1 and 2, and David J. Pym and Eike Ritter's Reductive Logic and Proof Search: Proof theory, semantics and control.