511.3 / Ya1
Yasuhara, Ann
RECURSIVE FUNCTION THEORY AND LOGIC
/
.- N. Y.: Academic Press, 1971
.- 338 .
Ref. : P. 321-326
Subject Headings:
Recursive Functions;
Logic, Symbolic And Mathematical;
Copy Details:
Acc. No.: A31192, Full Call No.: 511.3 Ya1, Item type: Books , Location: COMPACT STORAGE (BASEMENT),
------------------------- --------------------- ------ --------- ------- ------- --------- --------