Recursion theory for metamathematics / Raymond M. Smullyan.

Saved in:
Bibliographic Details
Online Access: Full Text (via Internet Archive)
Main Author: Smullyan, Raymond M.
Format: eBook
Language:English
Published: New York : Oxford University Press, 1993.
Series:Oxford logic guides ; 22.
Subjects:

MARC

LEADER 00000cam a2200000 a 4500
001 b11037571
003 CoU
006 m o d
007 cr |||||||||||
008 921028s1993 nyu ob 00100 eng u
005 20230711165746.6
010 |z 92040495 
020 |z 019508232x (acid-free) 
035 |a (CaSfIA)iam000000000009742 
040 |a OPET  |b eng  |d CaSfIA 
050 0 4 |a QA9.6  |b .S68 1993 
100 1 |a Smullyan, Raymond M. 
245 1 0 |a Recursion theory for metamathematics /  |c Raymond M. Smullyan. 
260 |a New York :  |b Oxford University Press,  |c 1993. 
300 |a 1 online resource (xiv, 163 pages) 
336 |a text  |b txt  |2 rdacontent. 
337 |a computer  |b c  |2 rdamedia. 
338 |a online resource  |b cr  |2 rdacarrier. 
490 1 |a Oxford logic guides ;  |v 22. 
504 |a Includes bibliographical references and index. 
650 0 |a Recursion theory. 
830 0 |a Oxford logic guides ;  |v 22. 
856 4 0 |u https://archive.org/details/recursiontheoryf0000smul  |z Full Text (via Internet Archive) 
907 |a .b110375713  |b 06-10-20  |c 06-10-20 
998 |a web  |b  - -   |c f  |d b   |e z  |f eng  |g nyu  |h 0  |i 1 
956 |a Internet Archive 
999 f f |i 451680ef-f679-5f59-826a-46f8f2484c13  |s e7db0a3c-9637-501a-81de-227f913b18d2 
952 f f |p Can circulate  |a University of Colorado Boulder  |b Online  |c Online  |d Online  |e QA9.6 .S68 1993  |h Library of Congress classification  |i web  |n 1