The Kleene symposium: proceedings of the symposium held June 18-24, 1978 at Madison, Wisconsin, U.S.A. /

The Kleene symposium: proceedings of the symposium held June 18-24, 1978 at Madison, Wisconsin, U.S.A. /

41

Bibliographic Details
Main Authors: Kleene Symposium (1978 : University of Wisconsin-Madison), Barwise, Jon
Format:
Published: Amsterdam : North Holland Pub, 1980
Subjects:
Recursion theory
Intuitionistic mathematics

Similar Items