John P Burgess George S Boolos

John P Burgess George S Boolos is the author of books such as Computability and Logic.