A tour through mathematical logic. - Feldman, D. V. (Choice: Current Reviews for Academic Libraries, 2005)