Formal number theory and computability a workbook
Fisher, Alec.
Oxford Clarendon
1982
Bibliography: p187-188. - Includes index
Logic, Symbolic and mathematical