1. Barendregt, H.P.: The Lambda Calculus: Its Syntax and Semantics. North-Holland, Amsterdam (1984)
2. Barendregt, H.P.: The impact of the lambda calculus in logic and computer science. Bull. Symb. Log. 3(2), 181–215 (1997)
3. Bergmann, M., Moor, J., Nelson, J.: The Logic Book. McGraw-Hill, New York (2014)
4. Bernays, P.: Axiomatic Set Theory. North-Holland, Amsterdam (1958)
5. Boolos, G.S., Burgess, J.P., Jeffrey, R.C.: Computability and Logic. Cambridge University Press, Cambridge (2007)