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

Logic colloquium '82 : proceedings of the Colloquium held in Florence 23-28 August, 1982 / edited by G. Lolli ; G. Longo ; A. Marcja

資料種別:
図書
出版情報:
North-Holland, 1984
シリーズ名:
Studies in logic and the foundations of mathematics ; vol. 112/ editors J. Barwise ; D. Kaplan ; H. J. Keisler ; P. Suppes ; A. S. Troelstra ;
ISBN:
9780444868763 [0444868763]
書誌ID:
1000276961
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information
他の版・巻

類似資料:

1 図書 Equadiff 82 : proceedings of the international conference held in Würzburg, FRG, August 23-28, 1982 (: gw ; : us)

International Conference on Differential Equations and Their Applications, Knobloch, Hans Wilhelm, 1927-, Schmitt, …

Springer-Verlag
7 図書 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
2 図書 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
8 図書 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
3 図書 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
9 図書 Logics of programs and their applications : proceedings, Poznan, August 23-29, 1980 (: gw ; : us)

Symposium on Logics of Programs and Their Applications, Salwicki, Andrzej

Springer-Verlag
4 図書 Logic Colloquium '88 : proceedings of the colloquium held in Padova, Italy, August 22-31, 1988

Logic Colloquium, Ferro, R., Bonotto, C., Valentini, S., Zanardo, A.

North-Holland
10 電子ブック Logics of Programs and Their Applications : Proceedings, Poznan, August 23-29, 1980

Salwicki, A., SpringerLink (Online service)
5 図書 Hydrogen deficient stars : proceedings of a colloquium held in Bamberg, Germany, 28 August - 1 September 1995

Jeffery, C. S. (C. Simon), 1958-, Heber, U. (Ulrich), 1954-

Astronomical Society of the Pacific
11 図書 Sets, models and recursion theory : proceedings of the summer school in mathematical logic and tenth logic colloquium leicester, August-September 1965

Crossley, John N., 1937-

North-Holland
6 図書 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
12 図書 Logic and machines : decision problems and complexity : proceedings of the Symposium "Rekursive Kombinatorik" held from May 23-28, 1983 at the Institut für … (: gw ; : us)

Symposium "Rekursive Kombinatorik", Börger, Egon, 1946-, Hasenjaeger, G. (Gisbert), 1919-, Rödding, D. (Dieter), 1937-

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