Combinatory logic : pure, applied and typed /

Combinatory logic is one of the most versatile areas within logic that is tied to parts of philosophical, mathematical, and computational logic. Functioning as a comprehensive source for current developments of combinatory logic, this book is the only one of its kind to cover results of the last fou...

Full description

Bibliographic Details

Main Author:	Bimbó, Katalin, 1963-
Corporate Author:	Taylor & Francis
Format:	eBook
Language:	English
Published:	Boca Raton, FL : CRC Press, ©2012.
Series:	Discrete mathematics and its applications.
Subjects:	Combinatory logic. Logique combinatoire. MATHEMATICS > Infinity. MATHEMATICS > Logic. Combinatory logic Electronic books.
Online Access:	Connect to the full text of this electronic book