Handbook of Philosophical Logic Volume 15

Lambda Calculi: A Guide Interpolation and Definability Discourse Representation Theory

Bibliographic Details
Other Authors: Gabbay, Dov M. (Editor), Guenthner, Franz (Editor)
Format: eBook
Language:English
Published: Dordrecht Springer Netherlands 2011, 2011
Edition:2nd ed. 2011
Series:Handbook of Philosophical Logic
Subjects:
Online Access:
Collection: Springer eBooks 2005- - Collection details see MPG.ReNa
Description
Summary:Lambda Calculi: A Guide Interpolation and Definability Discourse Representation Theory
Physical Description:XIV, 402 p online resource
ISBN:9789400704855