Classical Logic
Introduction to classical logic, including completeness and Löwenheim-Skolem theorems; by Stewart Shapiro.

No queries for plato.stanford.edu/entries/logic-classical