Curry, H B Combinatory logic - AMSTERDAM NORTH-HOLLAND PUBLISHING CO. 1958 - XIII, 417p p. Subjects--Index Terms: MATHEMATICS