Logic for mathematicians - Hamilton, A G; Author (1988)