Combinatory logic - Curry, H B (NORTH-HOLLAND PUBLISHING CO. AMSTERDAM, 1958)
Keywords: MATHEMATICS