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

Mathematical logic : proceedings of the first Brazilian Conference

種類:
図書
責任表示:
edited by Ayda I. Arruda, Newton C.A. da Costa, Rolando Chuaqui
出版情報:
New York : M. Dekker, c1978
著者名:
Brazilian Conference on Mathematical Logic <DA0192979X>
Arruda, Ayda I. <DA01929836>
Costa, Newton C. A. da <DA01032771>
Chuaqui, R. <DA01032873>
Universidade Estadual de Campinas. Centro de Lógica, Epistemologia e História de Ciência <DA01929858>
Universidade Estadual de Campinas. Instituto de Matemática, Estatística, e Ciência da Computação
続きを見る
シリーズ名:
Lecture notes in pure and applied mathematics ; v. 39 <BA00256405>
ISBN:
9780824767723 [0824767721]  CiNii Books  Calil
注記:
"Sponsored by the Center of Logic, Epistemology, and History of Science, and by the Institute of Mathematics, Statistics, and Computing Science of the State University of Campinas."
Bibliography: p. 268-290
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 Conference in Mathematical Logic, London '70 : [proceedings]

Conference in Mathematical Logic, Hodges, Wilfrid

Springer-Verlag
7 図書 Cambridge Summer School in Mathematical Logic : held in Cambridge/England, August 1-21, 1971 : [papers]

Cambridge Summer School in Mathematical Logic, Mathias, A. R. D. (Adrian Richard David), 1944-, Rogers, H. (Hartley), &hellip;

Springer-Verlag
2 図書 Notas do Instituto da Matemática e Estatística da Universidade de São Paulo

São Paulo, Brazil (City). Universidade. Instituto de Matemática e Estatística

[Instituto da Matemática e Estatística da Universidade de São Paulo]
8 図書 Logic Symposia, Hakone, 1979, 1980 : proceedings of conferences held in Hakone, Japan, March 21-24, 1979 and February 4-7, 1980

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

Springer-Verlag
3 図書 Mathematical logic and applications : proceedings of the Logic Meeting held in Kyoto, 1987

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

Springer-Verlag
9 図書 Artificial intelligence and symbolic mathematical computing : International Conference AISMC-1, Karlsruhe, Germany, August 3-6, 1992 : proceedings

International Conference AISMC, Calmet, Jacques, 1941-, Campbell, John A., 1940-

Springer-Verlag
4 図書 ISILC Logic Conference : proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974

International Summer Institute and Logic Colloquium, Müller, G. H. (Gert Heinz), 1923-, Oberschelp, A, Potthoff, Klaus

Springer-Verlag
10 図書 Logic at Botik '89 : Symposium on Logical Foundations of Computer Science, Pereslavl-Zalessky, USSR, July 3-8, 1989 : proceedings

International Symposium on Logical Foundations of Computer Science, Meyer, Albert R., Taitslin, M. A. (Michael A.)

Springer-Verlag
5 図書 Logic and computer science : lectures given at the 1st session of the Centro internazionale matematico estivo (C.I.M.E.) held at Montecatini Terme, Italy, June …

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

Springer-Verlag
11 図書 Higher order logic theorem proving and its applications : proceedings of the IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and …

IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and Its Applications, Claesen, Luc J. M., &hellip;

North-Holland
6 図書 COLOG-88 : International Conference on Computer Logic, Tallinn, USSR, December 12-16, 1988, proceedings

International Conference on Computer Logic, Martin-Löf, Per, 1942-, Mint︠s︡, Grigori

Springer-Verlag
12 図書 Discrete mathematics and theoretical computer science : 4th International Conference, DMTCS 2003, Dijon, France, July 7-12, 2003 : proceedings

DMTCS, Calude, Cristian, 1952-, Dinneen, M. J., 1957-, Vajnovszki, Vincent

Springer