160 / ST9 V.32
牋牋牋 FORMAL SYSTEMS AND RECURSIVE FUNCTIONS : proceedings / .- Amsterdam: North-Holland, 1965 .- 320p.. ** Study in Logic and foundations of Mathematics )
Subject Headings:
Logic, Philosophy;
Subjects--Index Terms: Recursive Functions
Author Added Entry:
Dummett, M.A.E.[ed.];
Crossley, J.N.[ed.];
Copy Details:
Acc. No.: 75800, Full Call No.: 160 ST9 V.32, Item type: Books , Location: COMPACT STORAGE (BASEMENT),
------------------------- --------------------- ------ --------- ------- ------- --------- --------