Elementary formal systems (abstract (1956)

by R M Smullyan
Venue:Bulletin of the American Mathematical Society