Robert P. Daley (daley-rp)

Contributi a Philosophie.ch

Bibliography

Daley, Robert P. 1980. “The Busy Beaver Method.” in The Kleene Symposium, edited by Jon K. Barwise, Jerome H. Keisler, and Kenneth Kunen, pp. 333–345. 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.