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

Models and computability : invited papers from Logic Colloquium '97 - European Meeting of the Association for Symbolic Logic, Leeds, July 1997

フォーマット:
図書
責任表示:
edited by S. Barry Cooper, John K. Truss
言語:
英語
出版情報:
Cambridge ; New York : Cambridge University Press, 1999
形態:
ix, 419 p. ; 23 cm
著者名:
シリーズ名:
London Mathematical Society lecture note series ; 259 <BA0005393X>
書誌ID:
BA42205160
ISBN:
9780521635509 [0521635500]  CiNii Books  Webcat Plus  Google Books
子書誌情報
Loading
所蔵情報
Loading availability information
タイトル・著者・出版者が同じ資料

類似資料:

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

Logic Colloquium, Cooper, S. B. (S. Barry), Truss, J. K

Cambridge University Press

Moschovakis, Yiannis N., 1938-, Workshop on Logic from Computer Science

Springer-Verlag

Logic Colloquium, Müller, G. H. (Gert Heinz), 1923-, Richter, Michael M., 1938-

Springer-Verlag

Groningen Round Table, Heny, Frank, Schnelle, Helmut S.

Academic Press

Latin-American Symposium on Mathematical Logic, Carnielli, Walter A. (Walter Alexandre), Alcantara, Luiz Paulo de, &hellip;

American Mathematical Society

AMS-IMS-SIAM Joint Summer Research Conference in the Mathematical Sciences on Applications of Mathematical Logic to &hellip;

American Mathematical Society

Latin-American Symposium on Mathematical Logic, Caicedo, Xavier, 1944-, Montenegro, Carlos H., 1958-

Marcel Dekker

Homer, S. (Steven), Odifreddi, Piergiorgio, 1950-, Centro internazionale matematico estivo. Session, C.I.M.E. Meeting on &hellip;

Springer-Verlag

篠田, 壽一(1948-), Slaman, T. A. (Theodore Allen), 1954-, 柘植, 利之(1926-), Meeting on Mathematical Logic and its Applications

Springer-Verlag

Cooper, S. B. (S. Barry), Slaman, T. A. (Theodore Allen), 1954-, Wainer, S. S, London Mathematical Society

Cambridge University Press

AMS-IMS-SIAM Joint Summer Research Conference, Computability Theory and Applications, Cholak, Peter, 1962-, Lempp, &hellip;

American Mathematical Society