Truth, deduction, and computation. Logic and semantics for computer science

by R. E. Davis · 1 review · 1992

Reviewed by	Journal	Date	Access
Nicolas D. Goodman	The Journal of Symbolic Logic	1992	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