Darmowa dostawa dla zamówień powyżej 299,00 zł.

Sprawdzić stan zamówienia

Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie

Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł

DPD Kurier 12.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł InPost 12.99 zł Punkt DPD 13.99 zł

Kontakt

Jak kupować

Pomoc

Moje konto

▸ Pusty :-(

Darmowa dostawa dla zamówień powyżej 299,00 zł.

Interpolation and Definability

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

Modal and Intuitionistic Logics

Dov M. Gabbay

Larisa Maksimova

Język

Angielski

Książka Twarda

Kod Libristo: 04527006

Wydawnictwo Oxford University Press, maj 2005

This book is a specialized monograph on interpolation and definability, a notion central in pure log... Cały opis

Kod Libristo: 04527006

553 b

968.70 zł

Dostępna u dostawcy Wysyłamy za 10-18 dni

30 dni na zwrot towaru

Klienci kupili także

Superbornene og de stjalne smykker Mette Vejlstrup Friis

Miękka

34.99 zł

Comunicación efectiva y trabajo en equipo MANUEL FERNANDEZ BALMON

Miękka

69.28 zł

Ritux Joachim Strienz

Miękka

38.70 zł

Wie Cindarella in mein Leben platzte Michael Sandstrom

Miękka

35.39 zł

Baby Pixi 84: Mein Lieblingsbuch vom Zuhause Denitza Gruber

Miękka

19.45 zł

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

Miękka

116.72 zł

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.