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

Methods in mathematical logic : proceedings of the 6th Latin American Symposium on Mathematical Logic held in Caracas, Venezuela, August 1-6, 1983

種類:
図書
責任表示:
edited by C.A. Di Prisco
出版情報:
Berlin ; New York : Springer-Verlag, c1985
著者名:
シリーズ名:
Lecture notes in mathematics ; 1130 <BA00146586>
ISBN:
9783540152361 [3540152369] (: gw)  CiNii Books  Calil
9780387152363 [0387152369] (: us)  CiNii Books  Calil
注記:
Sponsored by Asociación Venezolana para el Avance de la Ciencia (AsoVAC) ... et al
Includes bibliographies
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 電子ブック Methods in Mathematical Logic : Proceedings of the 6th Latin American Symposium on Mathematical Logic held in Caracas, Venezuela, Aug. 1-6, 1983

Di Prisco, Carlos A., SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer
7 図書 LATIN '92 : 1st Latin American Symposium on Theoretical Informatics, São Paulo, Brazil, April 6-10, 1992 : proceedings

Latin American Symposium on Theoretical Informatics, Simon, Imre, 1943-

Springer-Verlag
2 電子ブック 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
8 図書 Mathematical foundations of computer science 2000 : 25th International Symposium, MFCS 2000, Bratislava, Slovakia, August 28-September 1, 2000 : proceedings

Symposium on Mathematical Foundations of Computer Science, Nielsen, M. (Mogens), 1949-, Rovan, Branislav, 1947-

Springer
3 図書 8th International Conference on Automated Deduction : Oxford, England, July 27-August 1, 1986, proceedings

Conference on Automated Deduction, Siekmann, Jörg H., 1941-

Springer-Verlag
9 図書 数理論理学 = Mathematical logic

戸次, 大介(1973-)

東京大学出版会
4 図書 Mathematical logic and formal systems : a collection of papers in honor of Professor Newton C.A. da Costa

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

M. Dekker
10 図書 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
5 電子ブック LATIN '92 : 1st Latin American Symposium on Theoretical Informatics São Paulo, Brazil, April 6–10, 1992 Proceedings

Simon, Imre, SpringerLink (Online service)

Springer-Verlag
11 電子ブック Mathematical Foundations of Computer Science 1986 : 12th Symposium held at Bratislava, Czechoslovakia, August 25-29, 1986. Proceedings

Gruska, Jozef., Rovan, Branislav., Wiedermann, Juraj., SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer
6 電子ブック LATIN '92 : 1st Latin American Symposium on Theoretical Informatics, Sao Paulo, Brazil, April 6-10, 1992. Proceedings

Simon, Imre., SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer
12 図書 Mathematical foundations of computer science 1980 : proceedings of the 9th symposium held in Rydzyna, Poland, September 1-5, 1980

Symposium on Mathematical Foundations of Computer Science, Dembiński, Piotr

Springer-Verlag