You need to sign in or sign up before continuing.

Recursion Theory for Metamathematics by Raymond M. Smullyan

Recursion Theory for Metamathematics

Raymond M. Smullyan

184 pages first pub 1993 (view 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...