1. A. Church,Introduction to mathematical logic, vol.I, Princeton Univeristy Press, Princeton, N. J., 1956.
2. M. Davis,Computability and unsolvability, McGraw-Hill Book Company, Inc., New York, 1958.
3. M. D. Gladstone,Some ways of constructing a propositional calculus of any required degree of unsolvability,Transactions of the American Mathematical Society, vol. 118 (1965), pp. 192–120.
4. V. Glivenko,Sur quelques points de la logique de M. Brouwer,Académie Royale de Belgique, Bulletin de la classe des sciencese, ser. 5, vol. 15 (1929), pp. 183–188.
5. K. Gödel,Zum intuitionistischen Aussagenkalkül,Academie der Wissenschaften in Wien, Mathematisch-Naturwissenschaftliche Klasse, Anzeiger, vol. 69 (1932), pp. 65–66.