Elementary Recursion Theory and its Applications to Formal Systems

ELEMENTARY RECURSION THEORY AND ITS APPLICATIONS TO FORMAL SYSTEMS By Professor Saul Kripke Department of Philosophy, Pr...
Author:  Kripke |  Saul

17 downloads 327 Views 695KB 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

Recommend Documents

Elementary Number Theory andlts Applications KennethH. Rosen AT&T Informotion SystemsLaboratories (formerly part of Bell...

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...

Lecture Notes in Mathematics Edited by A. Dold, B. Eckmann and E Takens 1401 J. Stepr~ns S. Watson (Eds.) Set Theory a...