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

Cambridge Summer School in Mathematical Logic : held in Cambridge/England, August 1-21, 1971 : [papers]

種類:
図書
責任表示:
edited by A.R.D. Mathias, H. Rogers
出版情報:
Berlin ; New York : Springer-Verlag, 1973
著者名:
シリーズ名:
Lecture notes in mathematics ; 337 <BA00146586>
ISBN:
9783540055693 [354005569X] (: Germany)  CiNii Books  Calil
9780387055695 [038705569X] (: U.S.)  CiNii Books  Calil
注記:
Includes bibliographies
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 電子ブック Cambridge Summer School in Mathematical Logic : Held in Cambridge /U. K., August 1-21, 1971

Mathias, A. R. D., Rogers, H., SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer
7 図書 Computer science logic : 11th International Workshop, CSL '97, Annual Conference of the EACSL, Aarhus, Denmark, August 23-29, 1997 : selected papers

Workshop on Computer Science Logic, Nielsen, Mogens, Thomas, Wolfgang, European Association for Computer Science Logic

Springer
2 図書 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
8 図書 Computer science logic : 10th International Workshop, CSL '96, Annual Conference of the EACSL, Utrecht, The Netherlands, September 21-27, 1996 : selected papers

Workshop on Computer Science Logic, Dalen, Dirk van, Bezem, Marc, European Association for Computer Science Logic

Springer
3 図書 Logic Colloquium '95 : proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, held in Haifa, Israel, August 9-18, 1995

Logic Colloquium, Makowsky, Johann A., 1948-, Ravve, Elena V., 1963-, Association for Symbolic Logic

Springer
9 図書 Higher-order algebra, logic, and term rewriting : second International Workshop, HOA '95, Paderborn, Germany, September 21-22, 1995 : selected papers

International Workshop on Higher-Order Algebra, Logic, and Term Rewriting, Dowek, Gilles

Springer
4 図書 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
10 図書 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
5 図書 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
11 図書 Schrödinger operators : proceedings of the Nordic Summer School in Mathematics held at Sandbjerg Slot, Sønderborg, Denmark, August 1-12, 1988

Nordic Summer School in Mathematics, Holden, H. (Helge), 1956-, Jensen, A. (Arne), 1950-

Springer-Verlag
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 図書 The Biology of large RNA viruses : papers based on a symposium, held in Cambridge, England, 21-25 July 1969

Barry, Richard D., Mahy, Brian W. J., 1937-

Academic Press