Prof Martin Davis: 3 books

This introduction to functional analysis is based on the lecture notes of Martin Davis, a distinguished professor of mathematics. The treatment demonstrates the essential unity of mathematics without assuming more background than can be expected of advanced undergraduates and graduate students majoring...

Geared toward upper-level undergraduates and graduate students, this text explores the applications of nonstandard analysis without assuming any knowledge of mathematical logic. It develops the key techniques of nonstandard analysis at the outset from a single, powerful construction; then, beginning...

"A clearly written, well-presented survey of an intriguing subject." — Scientific American. Classic text considers general theory of computability, computable functions, operations on computable functions, Turing machines self-applied, unsolvable decision problems, applications of general theory,...