Cover 0

Formalized Recursive Functionals and Formalized Realizability

Cover 0

Formalized Recursive Functionals and Formalized Realizability

Formalized Recursive Functionals and Formalized Realizability

By

Stephen Cole Kleene

By

Stephen Cole Kleene

1969 • 106 pages

Formalized Recursive Functionals and Formalized Realizability

Formalized Recursive Functionals and Formalized Realizability

ByStephen Cole Kleene

Type: Physical Book

Language: English

Pages: 106

Release Date: 1969-01-01

ISBN 10: 0821812890

ISBN 13: 9780821812891

Country: Canada

Community

Readers & Supporters

Join Our Discord

Follow Along

Blog Hardcover Live About Hardcover Request a feature

We're an Open Book

Frequently Asked Questions Contact Support Roadmap Our Policies