Logic for mathematicians (1987)

by A G Hamilton