Elementary formal systems (abstract (1956)

by R M Smullyan
Venue:Bull. Amer. Math. Soc