>> Amazon.co.jp
このページのQRコード

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
著者名:
シリーズ名:
Lecture notes in pure and applied mathematics ; v. 94 <BA00256405>
ISBN:
9780824773304 [0824773306]  CiNii Books  Calil
注記:
English and French
Includes index
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 MATHEMATICAL LOGIC AND FORMAL SYSTEMS : A COLLECTION OF PAPERS IN HONOR OF PROFESSER NEWTON C. A. DA COSTA

<ED. BY> ALCANTARA, LUIZ PAULO DE

MARCEL DEKKER
7 図書 From logic design to logic programming : theorem proving techniques and P-functions

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

Springer-Verlag
2 図書 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
8 図書 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.]
3 図書 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
9 図書 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
4 電子ブック 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., Alcantara, Luiz Paulo de,1944-, Sociedade &hellip;

American Mathematical Society
10 電子ブック 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, Treves, Francois,1930-, &hellip;

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

戸次, 大介(1973-)

東京大学出版会
11 電子ブック Diagonalization in Formal Mathematics

Santos, Paulo Guilherme., SpringerLink (Online service)

Springer Fachmedien Wiesbaden : Imprint: Springer Spektrum
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 図書 グッド・マス : ギークのための数・論理・計算機科学

Chu-Carroll, Mark C., cocoatomo

オーム社