Handbook of Philosophical Logic Volume 15 / edited by Dov M. Gabbay, Franz Guenthner.

Lambda Calculi: A Guide Interpolation and Definability Discourse Representation Theory.

Saved in:
Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Gabbay, Dov M. (Editor), Guenthner, Franz (Editor)
Format: eBook
Language:English
Published: Dordrecht : Springer Netherlands : Imprint: Springer, 2011.
Edition:2nd ed. 2011.
Series:Handbook of Philosophical Logic ; 15
Springer eBook Collection.
Subjects:
Online Access:Click to view e-book
Holy Cross Note:Loaded electronically.
Electronic access restricted to members of the Holy Cross Community.
Description
Summary:Lambda Calculi: A Guide Interpolation and Definability Discourse Representation Theory.
Physical Description:XIV, 402 p. online resource.
ISBN:9789400704855
DOI:10.1007/978-94-007-0485-5