Mathematical logic, the theory of algorithms, and the theory of sets | 三重大学附属図書館 OPAC

>> Google Books

タイトル、所在を表示します

Mathematical logic, the theory of algorithms, and the theory of sets

フォーマット:: 図書
責任表示:: edited by S.I. Adjan
言語:: 英語
出版情報:: Providence, R.I. : American Mathematical Society, 1977
形態:: iv, 274 p. ; 27 cm
著者名:: Adi︠a︡n, S. I. <DA04559904>
シリーズ名:: Proceedings of the Steklov Institute of Mathematics ; no. 133 <BA00273914>
書誌ID:: BA03849061
ISBN:: 9780821830338 [0821830333]

子書誌情報

所蔵情報

Loading availability information

タイトルが類似している資料

詳細

資料形態(詳細):	Text
主題:	Algorithms--Addresses, essays, lectures; Logic, Symbolic and mathematical--Addresses, essays, lectures; Set theory--Addresses, essays, lectures
LCCN:	77003359
注記:	Translation of Matematicheskai︠a︡ logika, teorii︠a︡ algoritmov i teorii︠a︡ mnozhestv Includes bibliographical references
登録日:	2005-12-06
分類・件名:	LCC : QA1 LCC : QA9 DDC : 510/.8 s DDC : 511/.3 LCSH : Logic, Symbolic and mathematical -- Addresses, essays, lectures LCSH : Algorithms -- Addresses, essays, lectures LCSH : Set theory -- Addresses, essays, lectures

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 図書 Surveys in set theory Mathias, A. R. D. (Adrian Richard David), 1944- Cambridge University Press	7 図書 Handbook of set-theoretic topology Kunen, Kenneth, Vaughan, Jerry E. North-Holland, Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co.
2 図書 Theory of sets and topology : in honour of Felix Housdorff (1868-1942) Hausdorff, Felix, 1868-1942, Asser, Günter, Flachsmeyer, J. (Jürgen), Rinow, Willi Deutscher Verlag der Wissenschaften	8 図書 Probability theory and computer science Louchard, G. (Guy), Latouche, G. (Guy) Academic Press
3 図書 From Frege to Gödel : a source book in mathematical logic, 1879-1931 Van Heijenoort, Jean, 1912- Harvard University Press	9 図書 Eleven papers on number theory, algebra and functions of a complex variable Adi︠a︡n, S. I. American Mathematical Society
4 図書 Defining relations and algorithmic problems for groups and semigroups Adi︠a︡n, S. I. American Mathematical Society	10 図書 The Calculi of symbolic logic, 1 Orevkov, V. P. American Mathematical Society
5 図書 Algorithmic aspects of combinatorics Alspach, B. R. (Brian Roger), 1938-, Hell, Pavol, Miller, Donald John North-Holland Pub. Co., sole distributors for the U.S.A. and Canada, Elsevier North-Holland	11 図書 Sixteen papers on logic and algebra Baranskiĭ, V. A. American Mathematical Society
6 図書 Lectures on set theoretic topology Rudin, Mary Ellen, 1924-, Conference Board of the Mathematical Sciences Published for the Conference Board of the Mathematical Sciences by the American Mathematical Society	12 図書 Twelve papers in logic and algebra Lavrik, A. F. American Mathematical Society