>> Google Books

Methods and applications of mathematical logic : proceedings of the VII Latin American Symposium on Mathematical Logic held July 29-August 2, 1985

フォーマット:
図書
責任表示:
Walter A. Carnielli and Luiz Paulo de Alcantara, editors
言語:
英語; フランス語
出版情報:
Providence, R.I. : American Mathematical Society, c1988
形態:
xi, 250 p. ; 26 cm
注記:
Sponsored by the Sociedade Brasileira de Lógica, Sociedade Brasileira de Matemática, and the Association for Symbolic Logic
The symposium held at the State University of Campinas (UNICAMP) in Campinas, São Paulo State, Brazil
著者名:
Latin-American Symposium on Mathematical Logic <DA01166803>
Carnielli, Walter A. (Walter Alexandre) <DA02358956>
Alcantara, Luiz Paulo de, 1944- <DA01032793>
Sociedade Brasileira de Lógica <DA0235910X>
Sociedade Brasileira de Matemática <DA01929064>
Association for Symbolic Logic <DA01977227>
続きを見る
シリーズ名:
Contemporary mathematics ; v. 69 <BA00009927>
書誌ID:
BA03684223
ISBN:
9780821850763 [0821850768]  CiNii Books  Webcat Plus  Google Books
 
   
子書誌情報
Loading
所蔵情報
Loading availability information
タイトルが類似している資料

類似資料:

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

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

Marcel Dekker

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

North-Holland

Brazilian Conference on Mathematical Logic, Carnielli, Walter A. (Walter Alexandre), D'Ottaviano, Itala M. L., 1944-

American Mathematical Society

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

Springer-Verlag

Latin-American Symposium on Mathematical Logic, Di Prisco, C. A., 1949-, Asociación Venezolana para el Avance de la &hellip;

Springer-Verlag

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

American Mathematical Society

Boston Logic Colloquium, Parikh, Rohit, 1936-

Springer-Verlag

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

Springer-Verlag

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

Springer-Verlag

International Symposium on the Theory of Models, Addison, J. W. (John West), 1930-, University of California, Berkeley, &hellip;

North-Holland

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

North-Holland

Logic Symposia, Müller, G. H. (Gert Heinz), 1923-, 竹内, 外史(1926-), 柘植, 利之(1926-)

Springer-Verlag