This book is a specialized monograph on interpolation and definability, a notion central in pure logic and with significant meaning and applicability in all are

Lambda Calculi: A Guide Interpolation and Definability Discourse Representation Theory

Contains a balanced account of recent advances in set theory, model theory, algebraic logic, and proof theory, originally presented at the Tenth Latin American

This bestselling textbook for higher-level courses was extensively revised in 1990 to accommodate developments in model theoretic methods. Topics include models