1. D. Prawitz, Natural Deduction. A Proof-Theoretical Study. Acta Universitatis Stockholmiensis. Stockholm Studies in Philosophy, vol. 3 (Almqvist & Wiksell, 1965)
2. D. van Dalen, Logic and Structure, 5th edn. (Springer, 2013)
3. J.L. Bell, M. Machover, A Course in Mathematical Logic (North-Holland, 1977)
4. A.S. Troelstra, H. Schwichtenberg, Basic Proof Theory, vol. 43, 2nd edn. (Cambridge University Press, 2000)
5. J. Gallier, Logic for Computer Science: Foundations of Automatic Theorem Proving (Dover, 2015)