FORMAL NUMBER THEORY AND COMPUTABILITY - Fisher, Alec (Oxford Clarendon, 1982)
Bibliography : P. 187-188
Keywords: Logic, Symbolic And Mathematical