1. The Lambda Calculus;Barendregt,1984
2. The logic of quantum mechanics;Birkhoff;Ann. Math.,1936
3. The Unprovability of Consistency;Boolos,1979
4. Provability, truth, and modal logic;Boolos;J. Philos. Log.,1980
5. The Logic of Provability;Boolos,1993