Your search returned 3 results.

Sort
Results
1.
Recursion theory for metamathematics [electronic resource] / Raymond M. Smullyan. by Series: Oxford logic guides ; 22.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publication details: New York : Oxford University Press, 1993
Availability: No items available.

2.
3.
Recursion theory : computational aspects of definability / Chi Tat Chong, Liang Yu. by Series: De Gruyter series in logic and its applications ; Volume 8.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Berlin, [Germany] ; Boston, [Massachusetts] : De Gruyter, 2015Copyright date: ©2015
Availability: No items available.