First order logic - Smullyan Raymond M (1958)
Keywords: PHILOSOPHY