Handbook of philosophical logic volume 15 - Gabbay, Dov M.; Guenthner, Franz; SpringerLink (Online service). (Dordrecht Springer Netherlands, 2011)
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.
Electronic reproduction.
Keywords: Logic -- Handbooks, manuals, etc; Electronic books