A program for Presburger's algorithm

by Martin Davis · 1 review · 1966

Reviewed by	Journal	Date	Access
D. A. Clarke	The Journal of Symbolic Logic	1966	Restricted

Metaphysics & Logic

Also by Davis

Implicature: Intention, Convention, and Principle in the Failure of Gricean Theory (6 reviews)
Meaning, Expression, and Thought (6 reviews)
Theory of Action (6 reviews)
God, Reason and Theistic Proofs (4 reviews)
Japanese and Continental Philosophy: Conversations with the Kyoto School (4 reviews)
The Evidential Force of Religious Experience (4 reviews)
Theology and Political Society (4 reviews)
Genetic Dilemmas: Reproductive Technology, Parental Choices, and Children's Future (3 reviews)

Search PhilReviews for this title