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
StephenCole Kleene, Jon Barwise, ほか
- 出版社
- North-Holland Pub. Co.
- 発売日
- 1980-01-01
- ISBN
- 9780444853455