Liknande böcker

Computability and Unsolvability
Bok av Martin Davis
Computability, Complexity, and Languages : Fundamentals of Theoretical C...
Bok av Martin D Davis
536 Puzzles and Curious Problems
Bok av Henry Ernest Dudeney
Bounded Variable Logics and Counting
Bok av Martin Otto
Descriptive Complexity, Canonisation, and Definable Graph Structure Theory
Bok av Martin Grohe
Descriptive Complexity, Canonisation, and Definable Graph Structure Theory
Bok av Martin Grohe
Mathematics and common sense : a case of creative tension
Bok av Philip J. Davis
Extensional Constructs in Intensional Type Theory
Bok av Martin Hofmann

The Undecidable

Bok av Martin Davis
An anthology of papers on undecidability and unsolvability by major figures, this reference is suited as a text for graduate and undergraduate courses in logic, philosophy, and foundations of mathematics. Slightly corrected republication of the edition published by Raven Press Books, Ltd., Hewlett, New York, 1965.