Books Authored by Martin Davis

Computability and Unsolvability

A First Course in Functional Analysis

Applied Nonstandard Analysis

Ysbryd Sabrina