著者典拠情報

標目形：
Davis, Martin, 1928-
属性：
Personal
日付：
1928
から見よ参照形：
Davis, Martin D., 1928-
デービス, M.||デービス, M
David, M
注記：
His Computability & unsolvability, 1958
His Applied nonstandard analysis, c1982
His Computability, complexity, and languages, 1983: CIP t.p. (Martin D. Davis, Courant Inst. of Math. Sci., New York Univ.)
Ph.D. from Princeton
EDSRC:Solvability, provability, definability : the collected works of Emil L. Post / Martin Davis, editor(Birkhäuser, 1994)
著者典拠ID：
DA00915927


1.

図書
図書
1. Lecture notes on mathematical logic
Martin Davis ; based on student notes by Allen Weingarten
出版情報: [New York] : New York University, 1959
所蔵情報: loading…
2.

図書
図書
2. Lectures on modern mathematics
by Martin Davis
出版情報: New York : Gordon and Breach, [1967]
シリーズ名: Notes on mathematics and its applications
所蔵情報: loading…
3.

図書
図書
3. A first course in functional analysis
Martin Davis
出版情報: New York : Gordon and Breach, c1966
シリーズ名: Notes on mathematics and its applications
所蔵情報: loading…
4.

図書
図書
4. Computability & unsolvability. Dover ed (: pbk)
Martin Davis
出版情報: New York : Dover, 1982
シリーズ名: Dover books on advanced mathematics
所蔵情報: loading…
5.

図書
図書
5. Computability, complexity, and languages : fundamentals of theoretical computer science
Martin D. Davis, Elaine J. Weyuker
出版情報: Orlando, Fla. : Academic Press, 1983
シリーズ名: Computer science and applied mathematics
所蔵情報: loading…
6.

図書
図書
6. 超準解析
M.デービス著 ; 難波完爾訳
出版情報: 東京 : 培風館, 1982.11
所蔵情報: loading…
7.

図書
図書
7. 計算の理論
M.デーヴィス著 ; 渡辺茂, 赤攝也訳
出版情報: 東京 : 岩波書店, 1966.10
シリーズ名: 現代科学選書
所蔵情報: loading…