Formal number theory and computability : a workbook / by Alec Fisher. - Fisher, Alec (Oxford logic guides, 1982)