Introduction to combinatory logic - Hindley J R; Lercher B; Seldin J P (Cambridge C U P, 1972)
Keywords: Combinatory logic; Mathematical logic; Set theory