Mathematical Logic: Part 1 - häftad, Engelska, 2000