Combinatory Logic, Volumes I Free & Full Download

This book is the first volume of a projected two-volume treatise on combinatory logic. Combinatory logic is concerned with certain basic notions of the foundations of mathematics which are usually used in an intuitive and unanalysed way. Such notions include substitution, usually introduced by the use of variables, and classification of the entities of a system into types, which is usually provided for by rules which are auxiliary to, but not part of, the system. The part of combinatory logic which is concerned with questions of a fundamental nature which

Share This Post :