D
Davis, Martin
1928
17 works on record
Works
The universal computer
A first course in functional analysis
The undecidable
Computability & unsolvability
Luo ji de yin qing
Engines of logic
Applied nonstandard analysis
Computability, complexity, and languages
Na logic ki pogon
Na logic ki pogon
One equation to rule them all
One equation to rule them all
Lecture notes on mathematical logic
Lecture notes on mathematical logic
Lectures on modern mathematics
Lectures on modern mathematics
Mathematical logic
Mathematical logic
Computability, 1973-1974
Computability, 1973-1974
Computability
Computability
Least eligible
Least eligible
Lecture notes on mathematical logic, Fall, 1959, New York University [Institute of Mathematical Sciences] Based on student notes by Allen Weingarten
Lecture notes on mathematical logic, Fall, 1959, New York University [Institute of Mathematical Sciences] Based on student notes by Allen Weingarten