×

Recursive function theory and logic. (English) Zbl 0254.02002

Computer Science and Applied Mathematics. New York-London: Academic- Press. XV,338 p. $ 16.50 (1971).

MSC:

03-01 Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations
03Bxx General logic
03Dxx Computability and recursion theory
68-01 Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science