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
言語:
英語
出版情報:
Amsterdam ; New York : North-Holland Pub. Co.
New York : Sole distributors for the U.S.A. and Canada, Elsevier North-Holland, 1980
形態:
xx, 425 p. : ill. ; 23 cm
著者名:
シリーズ名:
Studies in logic and the foundations of mathematics ; v. 101 <BA00099329>
書誌ID:
BA01039774
ISBN:
9780444853455 [0444853456]  CiNii Books  Webcat Plus  Google Books
eリソース
Loading
子書誌情報
Loading
所蔵情報
Loading availability information

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 

L.E.J. Brouwer Centenary Symposium, Brouwer, L. E. J. (Luitzen Egbertus Jan), 1881-1966, Troelstra, A. S. (Anne Sjerp), &hellip;

North-Holland, Sole distributors for the U.S.A. and Canada, Elsevier Science

Barwise, Jon, Keisler, H. Jerome, 1936-

North-Holland Pub. Co.

Symposium on Generalized Recursion Theory, Fenstad, Jens Erik, Hinman, Peter G.

North-Holland Pub. Co., American Elsevier Pub. Co.

Ebbinghaus, Heinz-Dieter, 1939-, Sacks, Gerald E., 1933-, Müller, G. H. (Gert Heinz), 1923-

Springer-Verlag

Kleene, Stephen Cole, 1909-

North-Holland, P. Noordhoff N.V.

Symposium on Generalized Recursion Theory, Fenstad, Jens Erik, Gandy, R. F. (Rex F.), Sacks, Gerald E., 1933-

North-Holland Pub. Co., sole distributors for the U.S.A. and Canada, Elsevier North-Holland

Kleene, Stephen Cole, 1909-

Wolters-Noordhoff, North-Holland

Logic Colloquium, Drake, F. R. (Frank Robert), Wainer, S. S.

Cambridge University Press

Kleene, Stephen Cole, 1909-

University of Tokyo Prss

Cabal Seminar, Kechris, Alexander S., 1946-, Martin, Donald A., 1940-, Moschovakis, Yiannis N., 1938-

Springer-Verlag