Title :
Recursive function theory and logic
Publication :
Academic Press
Collation :
xv, 338 p.: illus.; 24 cm
Series :
Computer science and applied mathematics
Subject :
Recursive functions,Logic symbolic and mathematical
Biblography :
Bibliography: p. 321- 326