%0 Book %A Smullyan, Raymond Merrill %D 1968 %I Springer Verlag %N 2 %P 237-238 %T First-order logic %V 40