PX. A computational logic

by Susumu Hayashi and Hiroshi Nakano · 1 review · 1991

Reviewed by Journal Date Access
Robert Harper The Journal of Symbolic Logic 1991 Restricted

Metaphysics & Logic

Search PhilReviews for this title