Lógica de primeira ordem

Lógica de primeira ordem, de Raymond Smullyan. Editora UNESP, 2009, 208 páginas.

Edição de Lógica de primeira ordem, de Raymond Smullyan