Recursive function theory and logic.

Bibliographic Details

Main Author:	Yasuhara, Ann
Format:	Book
Language:	English
Published:	New York : Academic Press, [1971]
Series:	Computer science and applied mathematics.
Subjects:	Recursive functions. Logic, Symbolic and mathematical.