Recursion Theory for Metamathematics by Raymond M. Smullyan

Recursion Theory for Metamathematics

Raymond M. Smullyan

184 pages first pub 1993 (editions)

nonfiction mathematics informative medium-paced
Powered by AI (Beta)
Loading...

Description

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 book deals mainly with those aspects of recursion theory th...

Read more

Community Reviews

Loading...

Content Warnings

Loading...