Uniform Gentzen Systems

Raymond M. Smullyan. Uniform Gentzen Systems. Journal of Symbolic Logic, 33(4):549-559, 1968.

No reviews for this publication, yet.