The Kleene Symposium : proceedings of the symposium held June 18-24, 1978 at Madison, Wisconsin, U.S.A / edited by Jon Barwise, H. Jerome Keisler, Kenneth Kunen.

অনুরূপ উপাদানগুলি

• The foundations of intuitionistic mathematics : especially in relation to recursive functions /
  অনুযায়ী: Kleene, Stephen Cole, 1909-
  প্রকাশিত: (1965)
• Generalized recursion theory : Proceedings of the 1972 Oslo symposium /
  প্রকাশিত: (1974)
• Generalized recursion theory II : proceedings of the 1977 Oslo symposium /
  প্রকাশিত: (1978)
• Absoluteness of intuitionistic logic /
  অনুযায়ী: Leivant, Daniel Maurice Raphaël
  প্রকাশিত: (1979)
• Recursion theory : its generalisations and applications : proceedings of Logic Colloquium '79, Leeds, August 1979 /
  প্রকাশিত: (1980)