The Logic Manual

Oxford University Press
The Logic Manual