Library of American University of Madaba

Normal View MARC View ISBD View

Gabbay, Dov M.

Handbook of Philosophical Logic Volume 15 / [electronic resource] : edited by Dov M. Gabbay, Franz Guenthner. - XIV, 402 p. online resource. - Handbook of Philosophical Logic ; 15 .

Editorial Preface -- Dov M. Gabbay -- Lambda Calculi: A Guide -- Chris Hankin -- Interpolation and Definability -- Dov Gabbay and Larisa L. Maksimova -- Discourse Representation Theory -- Hans Kamp, Josef van Genabith and Uwe Reyle -- Index.

Lambda Calculi: A Guide Interpolation and Definability Discourse Representation Theory

ISBN: 9789400704855

Subjects--Topical Terms:
Computer science.
Computer vision.
Computer Science.
Computer Imaging, Vision, Pattern Recognition and Graphics.
Philosophy.
Linguistics (general).

LC Class. No.: T385 TA1637-1638 TK7882.P3

Dewey Class. No.: 006.6