Menu
Află starea comenzii
Contactați-ne
Carte Interpolation and Definability Dov M. Gabbay

Interpolation and Definability

Modal and Intuitionistic Logics

Autor: Dov M. Gabbay, Larisa Maksimova
Limbă: engleză
Legare: Copertă tare
Editura: Oxford University Press
Disponibilitate: În depozitul extern
Expediem în 10-18 zile
1 220.80 lei
This book is a specialized monograph on interpolation and definability, a notion central in pure log...

Informații despre carte

Autor
Dov M. Gabbay, Larisa Maksimova
Limbă
engleză
Legare
Carte - Copertă tare
Publicat
2005
Pagini
524
EAN
9780198511748
ISBN
0198511744
Enbook ID
04527006
Editura
Oxford University Press
Greutate
907
Dimensiuni
163 x 242 x 33

Descriere completă

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.

S-ar putea să te intereseze

Classification, Clustering, and Data Mining Applications

David Banks
829.14 lei

Magic Barrel

Bernard Malamud
75.84 lei

Chilton Street

Tom Potts
75.43 lei

Arabian Nights Entertainments

Lang
144.50 lei

Adolf Hitler: the Truth

Ryan Somers
164.22 lei

Kane Cornes

Kane Cornes
160.48 lei

Secret Puglia

Congedo Publishing
169.68 lei

History Quick Reads

Alan Childs
45.70 lei

Looking Back

Hester John Ashton Hester
166.55 lei

Clienții care au cumpărat această carte au mai cumpărat și

Superbornene og de stjalne smykker

Mette Vejlstrup Friis
44.39 lei

Comunicación efectiva y trabajo en equipo

MANUEL FERNANDEZ BALMON
83.42 lei

Ritux

Joachim Strienz
49.24 lei

Wie Cindarella in mein Leben platzte

Michael Sandstrom
44.59 lei

Baby Pixi 84: Mein Lieblingsbuch vom Zuhause

Denitza Gruber
24.67 lei

Maruyama Masao - Un regard japonais sur la modernité

Bernard Stevens
140.46 lei