Classical First-Order Logic
by Stewart Shapiro, Teresa Kouri Kissel
First-order logicSymbolic and mathematical Logic
Writing a summary for young readers…
For young readers
Book data: Open Library
by Stewart Shapiro, Teresa Kouri Kissel
Book data: Open Library