The Mathematics Of Logic by James Kaye & Richard Kaye