The Kleene Symposium: Proceedings of the Symposium Held June 18-24, 1978 at Madison, Wisconsin, U.S.A
Sole Distributors for the U.S.A. And Canada, Elsevier North-Holland (1980)
| Abstract | This article has no associated abstract. (fix it) | |||||||||
| Keywords | Recursion theory Intuitionistic mathematics | |||||||||
| Categories | No categories specified (fix it) | |||||||||
| Buy the book | $271.55 used Amazon page | |||||||||
| Call number | QA9.6.K53 1978 | |||||||||
| ISBN(s) | 0444853456 | |||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,701 |
| External links | This entry has no external links. Add one. |
| Through your library | Configure |
Similar books and articlesPaul Hallberg (ed.) (1979). The Condition of Man: Proceedings of an International Symposium Held September 8-10, 1978 in Göteborg to Celebrate the 200th Anniversary of the Royal Society of Arts and Sciences of Göteborg. [REVIEW] Vetenskaps- O. Vitterhets-Samhället.
Victor N. Krivtsov (2000). A Negationless Interpretation of Intuitionistic Theories. I. Studia Logica 64 (3):323-344.
Robin Gandy (1980). The Kleene Symposium. North-Holland.
Mohammed Ghaly (2012). The Beginning of Human Life: Islamic Bioethical Perspectives. Zygon 47 (1):175-213.
Stephen Cole Kleene (1965). The Foundations of Intuitionistic Mathematics. Amsterdam, North-Holland Pub. Co..
John Addison, Jon Barwise, H. Jerome Keisler, Kenneth Kunen & Yiannis N. Moschovakis (1979). The Kleene Symposium and the Summer Meeting of the Association for Symbolic Logic. Journal of Symbolic Logic 44 (3):469-480.
L. E. J. Brouwer, A. S. Troelstra & D. van Dalen (eds.) (1982). The L.E.J. Brouwer Centenary Symposium: Proceedings of the Conference Held in Noordwijkerhout, 8-13 June 1981. Sole Distributors for the U.S.A. And Canada, Elsevier Science Pub. Co..
Jens Erik Fenstad, R. O. Gandy & Gerald E. Sacks (eds.) (1978). Generalized Recursion Theory Ii: Proceedings of the 1977 Oslo Symposium. Sole Distributors for the U.S.A. And Canada, Elsevier North-Holland.
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2009-01-28Total downloads0Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
