>> Google Books
タイトル、所在を表示します

Mathematical logic and formal systems : a collection of papers in honor of Professor Newton C.A. da Costa

フォーマット:
図書
責任表示:
edited by Luiz Paulo de Alcantara
言語:
英語; フランス語
出版情報:
New York : M. Dekker, c1985
形態:
xiv, 297 p. ; 26 cm
著者名:
シリーズ名:
Lecture notes in pure and applied mathematics ; v. 94 <BA00256405>
書誌ID:
BA00523931
ISBN:
9780824773304 [0824773306]
子書誌情報
Loading
所蔵情報
Loading availability information
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 Methods and applications of mathematical logic : proceedings of the VII Latin American Symposium on Mathematical Logic held July 29-August 2, 1985

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

American Mathematical Society
7 図書 数理論理学 = Mathematical logic

戸次, 大介(1973-)

東京大学出版会
2 図書 Methods in mathematical logic : proceedings of the 6th Latin American Symposium on Mathematical Logic held in Caracas, Venezuela, August 1-6, 1983

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

Springer-Verlag
8 図書 Multidimensional complex analysis and partial differential equations : a collection of papers in honor of François Treves : proceedings of the Brazil-USA …

Brazil-USA Conference on Multidimensional Complex Analysis and Partial Differential Equations, Trèves, François, &hellip;

American Mathematical Society
3 図書 Algebra and logic : papers from the 1974 summer research institute of the Australian Mathematical Society, Monash University, Australia

Crossley, John N., 1937-, Australian Mathematical Society

Springer-Verlag
9 図書 Algebraic logic

Gindikin, Semen Grigorévich, Silverman, Robert H.

Springer-Verlag
4 図書 Non-classical logics, model theory, and computability : proceedings of the Third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11-17, …

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
10 図書 Sedimentation Symposium to Honor Professor H. A. Einstein : [papers]

Sedimentation Symposium to Honor Professor H. A. Einstein, Einstein, H. A. (Hans Albert), 1904-, Shen, Hsieh Wen, 1931-

[s.n.]
5 図書 Introduction to mathematical logic

Hermes, Hans, Schmidt, Diana

Springer-Verlag
11 図書 Mathematical interpretation of formal systems

Wiskundig Genootschap (Netherlands), Skolem, Th. (Thoralf), 1887-1963

North-Holland Pub. Co.
6 図書 Mathematical logic : proceedings of the first Brazilian Conference

Brazilian Conference on Mathematical Logic, Arruda, Ayda I., Costa, Newton C. A. da, Chuaqui, R., Universidade Estadual &hellip;

M. Dekker
12 図書 From logic design to logic programming : theorem proving techniques and P-functions

Snyers, Dominique, 1959-, Thayse, André, 1940-

Springer-Verlag