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
 
1 図書 The L.E.J. Brouwer Centenary Symposium : proceedings of the conference held in Noordwijkerhout, 8-13 June, 1981

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
7 図書 Constructive mathematics : proceedings of the New Mexico State University conference held at Las Cruces, New Mexico, August 11-15, 1980

Richman, Fred, 1938-

Springer-Verlag
2 図書 Handbook of mathematical logic

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

North-Holland Pub. Co.
8 図書 Generalized recursion theory : proceedings of the 1972 Oslo symposium

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

North-Holland Pub. Co., American Elsevier Pub. Co.
3 図書 Recursion theory week : proceedings of a conference held in Oberwolfach, West Germany, April 15-21, 1984

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

Springer-Verlag
9 図書 Model theory for infinitary logic : logic with countable conjunctions and finite quantifiers

Keisler, H. Jerome, 1936-

North-Holland Pub. Co.
4 図書 Introduction to metamathematics

Kleene, Stephen Cole, 1909-

North-Holland, P. Noordhoff N.V.
10 図書 Generalized recursion theory II : proceedings of the 1977 Oslo symposium

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
5 図書 Introduction to metamathematics

Kleene, Stephen Cole, 1909-

Wolters-Noordhoff, North-Holland
11 図書 Recursion theory : its generalisations and applications : proceedings of Logic Colloquium '79, Leeds, August 1979

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

Cambridge University Press
6 図書 Introduction to metamathematics

Kleene, Stephen Cole, 1909-

University of Tokyo Prss
12 図書 Cabal Seminar 77-79 : proceedings, Caltech-UCLA logic seminar 1977-79

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

Springer-Verlag