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

Logic Colloquium '85 : proceedings of the colloquium held in Orsay, France, July 1985 / edited by the Paris Logic Group

資料種別:
図書
出版情報:
Amsterdam ; Tokyo : North-Holland, 1987
形態:
xiii, 308 p. ; 23 cm
シリーズ名:
Studies in logic and the foundations of mathematics ; v. 122 <BA00099329>
著者名:
ISBN:
9780444702111 [0444702113] (: U.S.)
書誌ID:
BA00521732
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information

類似資料:

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

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

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

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

North-Holland

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

North-Holland Pub. Co.

Logic Colloquium, Paris, J. B., Wilkie, A. J. (Alec J.), Wilmers, G. M.

North-Holland

Boston Logic Colloquium, Parikh, Rohit, 1936-

Springer-Verlag

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

North-Holland

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

North-Holland

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

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

International Colloquium "Constructivity in Mathematics", Heyting, A. (Arend), 1898-

North-Holland Publishing Co.

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

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

Springer-Verlag

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