Handbook of Philosophical Logic [electronic resource] : Volume 15 / edited by Dov M. Gabbay, Franz Guenthner.
By: Gabbay, Dov M [editor.].
Contributor(s): Guenthner, Franz [editor.] | SpringerLink (Online service).
Material type:
BookSeries: Handbook of Philosophical Logic: 15Publisher: Dordrecht : Springer Netherlands, 2011Description: XIV, 402 p. online resource.Content type: text Media type: computer Carrier type: online resourceISBN: 9789400704855.Subject(s): Computer science | Computer vision | Computer Science | Computer Imaging, Vision, Pattern Recognition and Graphics | Philosophy | Linguistics (general)DDC classification: 006.6 Online resources: Click here to access online
Contents:
In:
Springer eBooksSummary: Lambda Calculi: A Guide Interpolation and Definability Discourse Representation Theory
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.
No physical items for this record
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
There are no comments for this item.