>> Google Books
 ↑ タイトル、所在を表示

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
ISBN:
9780444853455 [0444853456]  CiNii Books  Webcat Plus  Google Books
シリーズ名:
Studies in logic and the foundations of mathematics ; v. 101 <BA00099329>
著者名:
書誌ID:
BA01039774
注記:
Includes bibliographies
E-Resources:
子書誌情報
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 図書 Mathematical logic

Kleene, Stephen Cole, 1909-

J. Wiley
2 図書 Handbook of mathematical logic

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

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

Kleene, Stephen Cole, 1909-

North-Holland, P. Noordhoff
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 図書 Introduction to metamathematics

Kleene, Stephen Cole, 1909-

Wolters-Noordhoff, North-Holland
4 図書 Trace element metabolism in animals--2 : proceedings of the second International Symposium on Trace Element Metabolism in Animals, held in Madison, Wisconsin, …

International Symposium on Trace Element Metabolism in Animals, Hoekstra, W. G., Steenbock Symposium Fund, University of &hellip;

University Park Press
10 図書 Nitrogen fixation and CO[2] metabolism : proceedings of the Fourteenth Steenbock Symposium held 17-22 June 1984 at the University of Wisconsin--Madison, …

Harry Steenbock Symposium, Ludden, Paul W., Burris, John E., Burris, Robert H. (Robert Harza), 1914-

Elsevier
5 図書 Introduction to metamathematics

Kleene, Stephen Cole, 1909-

University of Tokyo Press
11 図書 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
6 図書 Introduction to metamathematics

Kleene, Stephen Cole, 1909-

Van Nostrand
12 図書 Osteoporosis : physiological basis, assessment, and treatment : proceedings of the Ninteenth Steenbock Symposium, held June 5 through June 8, 1989 at the …

Steenbock Symposium, DeLuca, H. F. (Hector Floyd), 1930-, Mazess, Richard B.

Elsevier