Recursion theory for metamathematics

...
Author:  Raymond M. Smullyan
143 downloads 1174 Views 5MB Size Report

This content was uploaded by our users and we assume good faith they have the permission to share this book. If you own the copyright to this book and it is wrongfully on our website, we offer a simple DMCA procedure to remove your content from our site. Start by pressing the button below!

Report copyright / DMCA form

DOWNLOAD DJVU

Recommend Documents

OXFORD LOGIC GUIDES General Editors DOV GABBAY ANGUS MACINTYRE DANA SCOTT JOHN SHEPHERDSON OXFORD LOGIC GUIDES 1. Ja...
OXFORD LOGIC GUIDES General Editors DOV GABBAY ANGUS MACINTYRE DANA SCOTT JOHN SHEPHERDSON OXFORD LOGIC GUIDES 1. Ja...
GENERALIZED RECURSION THEORY PROCEEDINGS OF THE 1972 OSLO SYMPOSIUM Edited by J . E . FENSTAD University of Oslo and ...
Computability Theory Computability Theory An Introduction to Recursion Theory Herbert B. Enderton University of Cali...
Computability Theory Computability Theory An Introduction to Recursion Theory Herbert B. Enderton University of Cali...
Computability Theory Computability Theory An Introduction to Recursion Theory Herbert B. Enderton University of Calif...
Computability Theory Computability Theory An Introduction to Recursion Theory Herbert B. Enderton University of Calif...