The Universal Computer: The Road from Leibnitz to Turing - Martin Davis (Author)

Computability and Unsolvability

The Undecidable: Basic Papers on Undecidable Propositions, Unsolvable Problems, and Computable Functions

Applied Nonstandard Analysis

A First Course in Functional Analysis

Extensions and Corollaries of Recent Work on Hilbert's Tenth Problem

Text And Materials On Housing Law

Arnold Palmer: American Hero

Alan M. Turing

Handmaiden of The Sun: Book Two - Resolution