Boolos/Burgess/Jeffrey Computability and Logic - Cambridge University Press 2012 ISBN: 9781139164931 Source: EBOOK Subjects--Topical Terms: Philosophy