>> Google Books
所蔵情報QRコード

Logic Colloquium '84 : proceedings of the colloquium held in Manchester, U.K., July 1984 / editors, J.B. Paris, A.J. Wilkie, G.M. Wilmers

資料種別:
図書
出版情報:
Amsterdam ; Tokyo : North-Holland, 1986
形態:
x, 377 p. ; 24 cm
シリーズ名:
Studies in logic and the foundations of mathematics ; v. 120 <BA00099329>
著者名:
ISBN:
9780444879998 [0444879994]
書誌ID:
BA00183232
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information
他の版・巻

類似資料:

1 図書 Logic Colloquium '86 : proceedings of the colloquium held in Hull, U.K., July 13-19, 1986

Logic Colloquium, Drake, F. R. (Frank Robert), Truss, J. K

North-Holland
7 図書 Logic Colloquium '78 : proceedings of the colloquium held in Mons, August 1978

Logic Colloquium, Boffa, Maurice, Dalen, D. van (Dirk), 1932-, McAloon, Kenneth

North-Holland Pub. Co., Elsevier North-Holland, sole distributors for the U.S.A. and Canada
2 図書 Logic Colloquium '87 : proceedings of the colloquium held in Granada, Spain, July 20-25, 1987

Logic Colloquium, Ebbinghaus, Heinz-Dieter, 1939-, Fernandez-Prida, J., Garrido, M., Lascar, D. (Daniel), 1942-, …

North-Holland
8 図書 Logic Colloquium '77 : proceedings of the colloquium held in Wrocław, August 1977

Logic Colloquium, Macintyre, Angus D., 1935-, Pacholski, Leszek, Paris, Jeff

North Holland Pub. Co., sole distributors for the U.S.A. and Canada, Elsevier North-Holland
3 図書 Logic Colloquium '85 : proceedings of the colloquium held in Orsay, France, July 1985 (: U.S.)

Logic Colloquium, Equipe de logique mathématique (Paris, France)

North-Holland
9 図書 ISILC Logic Conference : proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974 (: gw ; : u.s.)

International Summer Institute and Logic Colloquium, Müller, G. H. (Gert Heinz), 1923-, Oberschelp, A, Potthoff, Klaus

Springer-Verlag
4 図書 Logic Colloquium 76 : proceedings of a conference held in Oxford in July 1976

Logic Colloquium, Gandy, R. O., Hyland, John Martin Elliott

North-Holland Pub. Co., Sole distributors for U.S.A. and Canada, Elsevier North-Holland
10 図書 Southeast Asian Conference on Logic : proceedings of the Logic Conference, Singapore, 1981 ((U.S.))

Southeast Asian Conference on Logic (1981 : Singapore), Chong, Chi-Tat, 1949-, Wicks, M. J. (Malcolm John), 1928-

North-Holland, Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co.
5 図書 Logic Colloquium '69 : Proceedings of the Summer school and Colloquium in Mathematical Logic, Manchester, August 1969

Logic Colloquium, Gandy, R. O., Yates, Charles Edmund Michael

North-Holland
11 図書 Mathematical logic and foundations of set theory : Proceedings of an international colloquium held under the auspices of the Israel Academy of Sciences and …

International Colloquium on Mathematical Logic and Foundations of Set Theory, Bar-Hillel, Yehoshua, Akademyah …

North-Holland Pub. Co.
6 図書 Logic colloquium '73 : proceedings of the Logic Colloquium, Bristol, July 1973 (: North-Holland ; : American Elsevier)

Logic Colloquium, Rose, Harvey Ernest, Shepherdson, John Cedric, Association for Symbolic Logic

North-Holland Pub. Co, American Elsevier Pub. Co.
12 図書 Logic at Botik '89 : Symposium on Logical Foundations of Computer Science, Pereslavl-Zalessky, USSR, July 3-8, 1989 : proceedings (: gw ; : us)

International Symposium on Logical Foundations of Computer Science, Meyer, Albert R., Taitslin, M. A. (Michael A.)

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