Mathematical Logic - innbundet, Engelsk, 1994