Axiomatising the logic of computer programming

by Robert Goldblatt · 1 review · 1985

Reviewed by	Journal	Date	Access
Mitchell Wand	The Journal of Symbolic Logic	1985	Restricted

Metaphysics & Logic

Also by Goldblatt

Topoi. The categorial analysis of logic (4 reviews)
Art and Ventriloquism (3 reviews)
Logics of time and computation (2 reviews)
Aesthetics: A Reader in the Philosophy of the Arts, 4th ed (1 review)
I Feel, Therefore I Am: The Triumph of Woke Subjectivism (1 review)
Orthogonality and Spacetime Geometry (1 review)
Quantifiers, Propositions and Identity: Admissible Semantics for Quantified Modal and SubstructuralLogics (1 review)
Women's Rights to Social Security and Social Protection: Onati International Series in Law and Society (1 review)

Search PhilReviews for this title