Recursion theory for metamathematics /

This work is a sequel to the author's 'Gödel's Incompleteness Theorems', though it can be read independently by anyone familiar with Gödel's incompleteness theorem for Peano arithmetic. The text deals mainly with those aspects of recursion theory that have applications to th...

Full description

Bibliographic Details

Main Author:	Smullyan, Raymond M. (Author)
Format:	eBook
Language:	English
Published:	New York : Oxford University Press, [2020]
Series:	Oxford logic guides ; 22.
Subjects:	Recursion theory. Théorie de la récursivité. Recursion theory Electronic books.
Online Access:	Connect to the full text of this electronic book