What Is Mathematical Logic? by El Al, Frances A. Davis & J.N. Crossley