>> 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
著者名:
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
子書誌情報
Loading
eリソース
Loading
所蔵情報
Loading availability information

類似資料:

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

Latin-American Symposium on Mathematical Logic, Arruda, Ayda I., Costa, Newton C. A. da, Chuaqui, R.

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

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

Springer-Verlag

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

Springer-Verlag

Latin-American Symposium on Mathematical Logic, Arruda, Ayda I., Costa, Newton C. A. da, Chuaqui, R.

North-Holland Pub. Co., sale distributors for the U.S.A. and Canada, Elsevier/North-Holland

Costa, Newton C. A. da, Alcantara, Luiz Paulo de, 1944-

M. Dekker

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

North-Holland Publishing Co.

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

Springer-Verlag

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

Springer-Verlag

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

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

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

North-Holland

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

North-Holland

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

Springer-Verlag