Jump to main content

yr 〜
yr

Search results 2

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. (Studies in logic and the foundations of mathematics ; v. 101)

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. (Studies in logic and the foundations of mathematics ; v. 101)
Paper図書
North-Holland Pub. Co.1980.<MA41-111>
National Diet Library
  • Subject HeadingKleene, Stephen Cole, 1909- Recursion theory -- Congresse...
  • Author Heading...Madison, 1978. Kleene, Stephen Cole, 1909-1994 Barwise, Jon, -2000 Keisl...

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.
Paper図書
edited by Jon Barwise, H. Jerome Keisler, Kenneth KunenNorth-Holland Pub. Co.1980
Other Libraries in Japan
  • Subject HeadingRecursion theory -- Congresses Intuitionistic mathematics -- Congresses Kleene, Stephen Cole, 1909-
  • Subject Heading (ID)Recursion theory -- Congresses Intuitionistic mathematics -- Congresses Kleene, Stephen Cole, 1909-

Reached to the end of result.

RSS