Elementary predicate logic (1983)

by W Hodges
Venue:Handbook of Philosophical Logic I