Theory of Formal Systems (1962)

by R SMULLYAN
Venue:Princeton University Press. and Soundness of the Connection Graph Proof Procedure