Handbook of Philosophical Logic: Volume 15

Gabbay, Dov M.; Guenthner, Franz

Lambda Calculi: A Guide Interpolation and Definability Discourse Representation Theory

Details

Published by: Springer

Publication Date: 2010-12-08

Format: Hardcover

ISBN-13: 9789400704848

DOI: 10.1007/978-94-007-0485-5

Dimensions: 235.0cm x155.0cm

Pages: 402.0