13 treff

Set theory and the continuum hypothesis
Paul J. Cohen : with a new introduction b...
Bok Engelsk 2008
Engines of logic : mathematicians and the origin of the computer
Martin Davis
Bok Engelsk 2000
The universal computer : the road from Leibniz to Turing
Martin Davis
Bok Engelsk 2000
Computability, complexity, and languages : fundamentals of theoretical computer science
Davis, Martin
Bok Engelsk 1994
Seros
Martin Davis
Bok Walisisk 1991
Computability, complexity, and languages : fundamentals of theoretical computer science
Davis, Martin
Bok Engelsk 1983
Computability & unsolvability
Martin Davis
Bok Engelsk 1982
Applied nonstandard analysis
Martin Davis
Bok Engelsk 1977
Computability : 1973-1974
Davis, Martin
Bok Engelsk 1974
Lectures on modern mathematics
Martin Davis
Bok Språk ikke angitt 1967
A first course in functional analysis
Martin Davis
Bok Engelsk 1966
The undecidable : basic papers on undecidable propositions, unsolvable problems and computable functions
edited by Martin Davis
Bok Engelsk 1965
Computability & unsolvability
Martin Davis
Bok Engelsk 1958