RECURSIVE FUNCTION THEORY AND LOGIC - Yasuhara, Ann (N. Y. Academic Press, 1971)
Ref. : P. 321-326
Keywords: Recursive Functions; Logic, Symbolic And Mathematical