Algorithms and recursive functions

Algorithms and recursive functions

フォーマット:

図書

責任表示:

A.I. Malʹcev ; translated from the first Russian edition by Leo F. Boron, with the collaboration of Luis E. Sanchis, John Stillwell and Kiyoshi Iséki

言語:

英語

出版情報:

Groningen : Wolters-Noordhoff, c1970

形態:

372 p. ; 23 cm

著者名:

書誌ID:

BA07727077

ISBN:

9789001570705 [9001570704]

子書誌情報

所蔵情報

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

書誌詳細

その他の標題:	Algoritmy i rekursivnye funkt︠s︡ii
主題:	Algorithms; Recursive functions
分類・件名:	LCC : QA266 DDC : 511/.8 LCSH : Algorithms LCSH : Recursive functions
LCCN:	77090850
注記:	Bibliography: p. [359]-366
タイトル言語:	eng
著者名ヨミ:	イセキ, キヨシ

1

2

3

4

5

6

7

8

9

10

11

12

1 図書 Introduction to the theory of partially ordered spaces Vulikh, B. Z. (Boris Zakharovich), Boron, Leo F., Zaanen, Adriaan Cornelis, 1913-, 井関, 清志(1919-) Wolters-Noordhoff	7 図書記号論理学 : 命題論理井関, 清志(1919-) 槙書店
2 図書 Recursive functionals Sanchis, Luis E. North-Holland	8 図書集合と論理井関, 清志(1919-) 新曜社
3 図書 Enumerability, decidability, computability : an introduction to the theory of recursive functions Hermes, Hans Springer	9 図書解析學原論井關,清志日本科學社 ,1949
4 図書集合と論理井関, 清志(1919-) 新曜社	10 図書抽象代数学 Kurosh, A. G. (Aleksandr Gennadievich), 井関, 清志(1919-) 東京図書
5 図書 Non-Greek mathematics 井関, 清志(1919-) University of Arkansas	11 図書微分幾何学 Finikov, S. P. (Sergeĭ Pavlovich), 1883-, 井関, 清志(1919-) 東京図書
6 図書記号論理学 : 述語論理井関, 清志(1919-) 槙書店	12 図書トポロジーの基礎 Pontri︠a︡gin, L. S. (Lev Semenovich), 1908-, 井関, 清志(1919-) 東京図書