TY  - BOOK
AU  - Gabbay,Dov M.
AU  - Guenthner,Franz
ED  - SpringerLink (Online service)
TI  - Handbook of Philosophical Logic: Volume 15 
T2  - Handbook of Philosophical Logic
SN  - 9789400704855
AV  - T385 
U1  - 006.6 23
PY  - 2011///
CY  - Dordrecht
PB  - Springer Netherlands
KW  - Computer science
KW  - Computer vision
KW  - Computer Science
KW  - Computer Imaging, Vision, Pattern Recognition and Graphics
KW  - Philosophy
KW  - Linguistics (general)
N1  - 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
N2  - Lambda Calculi: A Guide Interpolation and Definability Discourse Representation Theory
UR  - http://148.231.10.114:2048/login?url=http://link.springer.com/book/10.1007/978-94-007-0485-5
ER  -