First-Order Logic /
Smullyan, Raymond M.
First-Order Logic / Raymond M. Smullyan. - Berlin, Heidelberg : Springer ; 1968. - xii, 158 p. : 23 cm.
9783642867187 9783642867200
Mathematical logic
Logic, Symbolic and mathematical
511.3
First-Order Logic / Raymond M. Smullyan. - Berlin, Heidelberg : Springer ; 1968. - xii, 158 p. : 23 cm.
9783642867187 9783642867200
Mathematical logic
Logic, Symbolic and mathematical
511.3