A Reduction Theorem for Predicate Logic

Sorry, there's nothing here.

Cite this paper

@article{Lob1972ART, title={A Reduction Theorem for Predicate Logic}, author={M. H. Lob}, journal={J. Symb. Log.}, year={1972}, volume={37}, pages={352-354} }