Kenneth Kunen (kunen)
Contributions à Philosophie.ch
No contributions yet
Bibliography
Barwise, Jon K., Keisler, Jerome H. and Kunen, Kenneth, eds. 1980. The Kleene Symposium. Studies in Logic and the Foundations of Mathematics n. 101. Amsterdam: North-Holland Publishing Co. Proceedings of the Symposium held June 18–24, 1978, at Madison, Wisconsin, U.S.A.
Bledsoe, Woodrow W., Kunen, Kenneth and Shostak, Robert E. 1985. “Completeness Results for Inequality Provers.” Artificial Intelligence 27(3): 255–288.
Kunen, Kenneth. 1971. “Indescribability and the Continuum.” in Axiomatic Set Theory, edited by Thomas J. Jech, pp. 199–204. Proceedings of Symposia in Pure Mathematics n. 13.2. Providence, Rhode Island: American Mathematical Society. Proceedings of the Symposium held at the University of California, Los Angeles, July 10 – August 5, 1967.
Kunen, Kenneth. 1977. “Combinatorics.” in Handbook of Mathematical Logic, edited by Jon K. Barwise, pp. 371–402. Studies in Logic and the Foundations of Mathematics n. 90. Amsterdam: North-Holland Publishing Co.
Kunen, Kenneth. 1980. Set Theory: An Introduction to Independence Proofs. Studies in Logic and the Foundations of Mathematics n. 102. Amsterdam: North-Holland Publishing Co.