عنوان
پدید آورنده
موضوع
رده
QA 9.6 .K53 1978
QA
9
.
6
.
K53
1978
کتابخانه
محل استقرار
The Kleene Symposium : proceedings of the Symposium, held June 18-24, 1978 at Madison, Wisconsin, U.S.A
1978 : University of Wisconsin, Madison
Amsterdam
North-Holland
1980
xx, 425p.: ill
Studies in logic and the foundations of mathematics; Vol. 101
Includes bibliographies
ISBN: 0444853456
edited by Jon Barwise, H. Jerome Keisler, Kenneth Kunen
1
Congresses ، Recursion theory
Congresses ، Intuitionistic mathematics
، Kleene, Stephen Cole, 9091-4991
QA
9
.
6
.
K53
1978
AU
AU Kleene, Stephen Cole, 1909-1994
AU Barwise, Jon
AU Keisler, H. Jerome
AU Kunen, Kenneth
TI
SE
Kleene Symposium
