Formalized Recursive Functionals and Formalized Realizability

· American Mathematical Society: Memoirs of the American Mathematical Society Book 89 · American Mathematical Soc.
Ebook
106
Pages
Ratings and reviews aren’t verified  Learn More

About this ebook

This monograph carries out the program which the author formulated in earlier work, the formalization of the theory of recursive functions of type 0 and 1 and of the theory of realizability.

Rate this ebook

Tell us what you think.

Reading information

Smartphones and tablets
Install the Google Play Books app for Android and iPad/iPhone. It syncs automatically with your account and allows you to read online or offline wherever you are.
Laptops and computers
You can listen to audiobooks purchased on Google Play using your computer's web browser.
eReaders and other devices
To read on e-ink devices like Kobo eReaders, you'll need to download a file and transfer it to your device. Follow the detailed Help Center instructions to transfer the files to supported eReaders.
Report illegal content

Continue the series

A Conformal Mapping Technique for Infinitely Connected Regions
Maynard G. Arsove
Book 91
€17.44
Doubly Timelike Surfaces
John K. Beem
Book 92
€15.26
Equivariant Maps of Spheres into the Classical Groups
Jon Folkman
Book 95
€15.26
Isometric Embeddings of Riemannian and Pseudo-Riemannian Manifolds
Robert Everist Greene
Book 97
€15.26

More by Stephen Cole Kleene

Mathematical Logic
Stephen Cole Kleene
€25.22€17.65
Two Papers on the Predicate Calculus
Stephen Cole Kleene
Book 10
€17.44

Similar ebooks

A Conformal Mapping Technique for Infinitely Connected Regions
Maynard G. Arsove
Book 91
€17.44
Open Mappings on Locally Compact Spaces
Gordon Thomas Whyburn
Book 1
€19.62
Grothendieck Spaces in Approximation Theory
Jörg Blatter
Book 120
€21.80
The Exponential Map at an Isolated Singular Point
David A. Stone
Book 256
€25.07