Handbook of Philosophical Logic Volume 15 /

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

Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Gabbay, Dov M. (Editor), Guenthner, Franz (Editor)
Format: Electronic eBook
Language:English
Published: Dordrecht : Springer Netherlands, 2011.
Series:Handbook of Philosophical Logic ; 15
Subjects:
Online Access:Full Text via HEAL-Link

Similar Items