Handbook of Philosophical Logic

Volume 15

Contributors: Gabbay, Dov M.; Guenthner, Franz

Lambda Calculi: A Guide Interpolation and Definability Discourse Representation Theory

Book Details

• Publisher: Springer
• Publication Date: 2013-01-27
• Format: Paperback
• ISBN-13: 9789400734517
• Pages: 402