Status der Bestellung anzeigen

Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen

Kostenloser Versand mit Zásilkovna ab 69.99 €

Österreichische Post 5.49 € GLS-Kurier 4.99 € GLS-Kurier 4.99 € DPD-Kurier 3.99 € DPD-Stelle 2.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Interpolation and Definability

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

Modal and Intuitionistic Logics

Dov M. Gabbay

Larisa Maksimova

Sprache

Englisch

Buch Hardcover

Libristo-Code: 04527006

Verlag Oxford University Press, Mai 2005

This book is a specialized monograph on interpolation and definability, a notion central in pure log... Vollständige Beschreibung

Libristo-Code: 04527006

632 b

258.39 € inkl. MwSt.

Externes Lager Wir versenden in 10-18 Tagen

30 Tage für die Rückgabe der Ware

Kunden kauften auch

Superbornene og de stjalne smykker Mette Vejlstrup Friis

Broschur

8.59 €

Comunicación efectiva y trabajo en equipo MANUEL FERNANDEZ BALMON

Broschur

16.99 €

Ritux Joachim Strienz

Broschur

9.99 €

Wie Cindarella in mein Leben platzte Michael Sandstrom

Broschur

8.69 €

Baby Pixi 84: Mein Lieblingsbuch vom Zuhause Denitza Gruber

Broschur

4.79 €

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

Broschur

28.39 €

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.

Schauspielerin & Polyglotte

EWA KASP für

Video abspielen

Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Interpolation and Definability

Autor Dov M. Gabbay, Larisa Maksimova

Sprache

Englisch

Einband Buch - Hardcover

Datum der Veröffentlichung 2005

Anzahl der Seiten 524

EAN 9780198511748

ISBN 0198511744

Libristo-Code 04527006

Verlag Oxford University Press

Gewicht 907

Abmessungen 163 x 242 x 33

Kategorie

Mathematik und Naturwissenschaften > Mathematik > Mathematische Grundlagen > Mathematik: Logik

Mathematik und Naturwissenschaften > Mathematik > Philosophie der Mathematik

Mathematik und Naturwissenschaften > Naturwissenschaften, allgemein > Wissenschaftsphilosophie und -theorie

EDV und Informationstechnologie > Informatik > Künstliche Intelligenz

Verschenken Sie dieses Buch noch heute

Es ist ganz einfach

1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert