Leo A. Harrington (harrington-la)

Contributions à Philosophie.ch

Bibliography

Abramson, Fred G. and Harrington, Leo A. 1978. “Models without Indiscernibles.” The Journal of Symbolic Logic 43(1): 572–600.
Gurevich, Yuri and Harrington, Leo A. 1982. “Trees, Automata and Games.” in ACM Symposium on Theory of Computing, pp. 60–65. New York: ACM Press.
Harrington, Leo A., Morley, M. D., Ščedrov, Andrej and Simpson, Stephen G., eds. 1985. Harvey Friedman’s Research on the Foundations of Mathematics. Studies in Logic and the Foundations of Mathematics n. 117. Amsterdam: North-Holland Publishing Co.
Paris, Jeffrey Bruce and Harrington, Leo A. 1977. “A Mathematical Incompleteness in Peano Arithmetic.” in Handbook of Mathematical Logic, edited by Jon K. Barwise, pp. 1133–1142. Studies in Logic and the Foundations of Mathematics n. 90. Amsterdam: North-Holland Publishing Co.