Mathematical Logic For Computer Science (2nd Edition) inbundenEngelska, 1998