1. J. Bell and M. Machover. A Course in Mathematical Logic. North-Holland, Amsterdam, 1977.
2. P. Bernays. Betrachtungen zum sequenzen-kalkül. In A.-T. Tymieniecka, editor, Logic and Methodology, pages 1–44. North-Holland, Amsterdam, 1965
3. A. Church. Introduction to Mathematical Logic, volume 1. Princeton University Press, Princeton, 1956.
4. M. Dummett. Elements of Intuitionism, 2nd edition. Oxford University Press, Oxford, (1st ed,., 1977), 2000.
5. H. B. Enderton. A Mathematical Introduction to Logic, 2nd edition. Academic Press, New York, (2st ed., 1972), 2000.