Uniform Gentzen Systems

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

Authors

Raymond M. Smullyan

This author has not been identified. Look up 'Raymond M. Smullyan' in Google