Martin Davis - Böcker

Computability, Complexity, and Languages

Fundamentals of Theoretical Computer Science

Handmaiden of The Sun: Book Two - Resolution

Handmaiden of The Sun: Book One - Realisation

Universal Computer

The Road from Leibniz to Turing

Text and Materials on Housing Law

The Undecidable

Basic Papers on Undecidable Propostions, Unsolvable Problems and Computable Functions

Applied Nonstandard Analysis

A First Course in Functional Analysis

Computability and Unsolvability

Universal Computer

The Road from Leibniz to Turing, Third Edition

Practical Injection Molding

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

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

Universal Computer

The Road from Leibniz to Turing, Third Edition

From Linear Operators to Computational Biology

Essays in Memory of Jacob T. Schwartz

From Linear Operators to Computational Biology

Essays in Memory of Jacob T. Schwartz

Harvest War

From Here to There

An Astrologer's Guide to Astromapping

Astrolocality Astrology: A Guide to What it is and How to Use it

Cartographic Analysis of Soviet Military City Plans

Cartographic Analysis of Soviet Military City Plans

Logic for Programming, Artificial Intelligence, and Reasoning

20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings