1
by Smullyan, Raymond R.
Published 1968
Springer Berlin Heidelberg