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

所蔵情報QRコード

資料種別:

図書

出版情報:

Berlin ; New York : Springer-Verlag, 1975

形態:

viii, 307 p. ; 25 cm

シリーズ名:

Lecture notes in mathematics ; 450 <BA00146586>

著者名:

ISBN:

9783540071525 [3540071520] (: Germany)
9780387071527 [0387071520] (: U.S.)

書誌ID:

BA00401741

子書誌情報

フルテキスト

所蔵情報

他の版・巻

書誌詳細

ブックレビュー

1 図書 Sets, models and recursion theory : proceedings of the summer school in mathematical logic and tenth logic colloquium leicester, August-September 1965 Crossley, John N., 1937- North-Holland	7 図書 Algebraic logic Gindikin, Semen Grigorʹevich, Silverman, Robert H. Springer-Verlag
2 図書現代数理論理学入門 Crossley, John N., 1937-, 田中, 尚夫(1928-) 共立出版	8 図書 Formal systems and recursive functions : proceedings of the eighth Logic Colloquium, Oxford, July 1963 Logic Colloquium, Crossley, John N., 1937-, Dummett, Michael A. E., 1925- North-Holland
3 図書現代数理論理学入門 Crossley, John N., 1937-, 田中, 尚夫(1928-) 共立出版	9 図書 Elements of mathematical logic Łukasiewicz, Jan, Wojtasiewicz, Olgierd Pergamon Press
4 電子ブック Algebra and Logic John Newsome Crossley SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg	10 図書 Logic : form and function : the mechanization of deductive reasoning Robinson, J. A. (John Alan) University Press
5 図書 Thirteen papers in algebra and number theory Zhuk, I. K. (Igorʹ Konstantinovich), American Mathematical Society American Mathematical Society	11 図書 Algebra ; an introduction to finite mathematics Rose, Israel H. Wiley
6 図書 Constructive order types Crossley, John N., 1937- North-Holland Pub. Co.	12 図書 Algebra : a computational introduction Scherk, John Chapman & Hall/CRC

1

2

3

4

5

6

7

8

9

10

11

12