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

フォーマット:
図書
責任表示:
edited by J.N. Crossley
言語:
英語
出版情報:
Berlin ; New York : Springer-Verlag, 1975
形態:
viii, 307 p. ; 25 cm
著者名:
シリーズ名:
Lecture notes in mathematics ; 450 <BA00146586>
書誌ID:
BA00401741
ISBN:
9783540071525 [3540071520] (: Germany)  CiNii Books  Webcat Plus  Google Books
9780387071527 [0387071520] (: U.S.)  CiNii Books  Webcat Plus  Google Books
子書誌情報
Loading
所蔵情報
Loading availability information
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 現代数理論理学入門

Crossley, John N., 1937-, 田中, 尚夫(1928-)

共立出版
7 図書 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
2 図書 Algebraic logic

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

Springer-Verlag
8 図書 Algebraic geometry--Santa Cruz 1995 : Summer Research Institute on Algebraic Geometry, July 9-29, 1995, University of California, Santa Cruz

Summer Research Institute on Algebraic Geometry, Kollár, János, 1956-, Lazarsfeld, R. (Robert), Morrison, David R., &hellip;

American Mathematical Society
3 図書 From logic design to logic programming : theorem proving techniques and P-functions

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

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

戸次, 大介(1973-)

東京大学出版会
4 図書 Logic and combinatorics : proceedings of the AMS-IMS-SIAM Joint Summer Research Conference held August 4-10, 1985, with support from the National Science …

AMS-IMS-SIAM Joint Summer Research Conference in the Mathematical Sciences on Applications of Mathematical Logic to &hellip;

American Mathematical Society
10 雑誌 Mathematics of operations research

Institute of Management Sciences, Operations Research Society of America

Institute of Management Sciences
5 図書 Logic : form and function : the mechanization of deductive reasoning

Robinson, J. A. (John Alan)

University Press
11 図書 Geometric and topological invariants of elliptic operators : proceedings of the AMS-IMS-SIAM joint summer research conference held July 23-29, 1988 with support …

AMS-IMS-SIAM Joint Summer Research Conference in the Mathematical Sciences on Geometric and Topological Invariants of &hellip;

American Mathematical Society
6 図書 Algebra, algebraic topology and their interactions : proceedings of a conference held in Stockholm, Aug. 3-13, 1983, and later developments

Roos, J.-E. (Jan-Erik), 1935-, Nordic Summer School and Research Symposium on "Algebra, algebraic topology and their &hellip;

Springer-Verlag
12 図書 Algebraic geometry : Bowdoin 1985

Summer Research Institute on Algebraic Geometry, Bloch, Spencer, Clemens, C. Herbert (Charles Herbert), 1939-, American &hellip;

American Mathematical Society