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…