1. Bourbaki, N.: 1949., ‘Foundations of Mathematics for the Working Mathematician’, Journal of Symbolic Logic
14, 1–8.
2. Church, A.: 1956, Introduction to Mathematical Logic, Princeton.
3. Corcoran, J.: 1969, ‘Three Logical Theories’, Philosophy of Science
36, 153–77.
4. Corcoran, J.: 1971a, ‘Discourse Grammars and the Structure of Mathematical Reasoning I, II, III’, Journal of Structural Learning
3, No. 1,55–74; No. 2, 1–16; No. 3,1–24.
5. Corcoran, J.: 1971b, ‘Review of Eberle (1969)’, Mathematical Reviews
42, 31.