Davis, Martin
1928 · 22 obras en el catálogo
Obras
The universal computer
Na logic ki pogon
The undecidable
A first course in functional analysis
Computability & unsolvability
The universal computer
Luo ji de yin qing
The Universal Computer
2000
Applied nonstandard analysis
Engines of logic
Least eligible
Lecture notes on mathematical logic
Lecture notes on mathematical logic, Fall, 1959, New York University [Institute of Mathematical Sciences] Based on student notes by Allen Weingarten
Mathematical logic
One equation to rule them all
Computability
Computability, complexity, and languages
The undecidable
Computability, 1973-1974
Lectures on modern mathematics
A first course in functional analysis
