Formal number theory and computability a work book - Fisher Alec (Oxford Clarendon Press, 1982)
Keywords: PHILOSOPHY