*Combinatory logic and lambda-conversion were originally devised in the 1920s for investigating the foundations of mathematics using the basic concept of 'operation' instead of 'set'.*

**Author**: J. R. Hindley

**Publisher:** CUP Archive

**ISBN:** 0521268966

**Category:** Mathematics

**Page:** 360

**View:** 167