INTRODUCTION TO COMBINATORY LOGIC - Hindley, J. R.; Seldin, J. P. (London Cambridge University Press, 1972)
Keywords: Logic, Symbolic And Mathematical