An edition of Formalized recursive functionals and formalized realizability (1969)

Formalized recursive functionals and formalized realizability

by

Formalized recursive functionals and formaliz ...
Stephen Cole Kleene, Stephen C ...
Locate

My Reading Lists:

Create a new list
Notes
Notes

Check nearby libraries

Buy this book

Last edited by MARC Bot
December 17, 2024 | History
Edit
An edition of Formalized recursive functionals and formalized realizability (1969)

Formalized recursive functionals and formalized realizability

by

This work doesn't have a description yet. Can you add one?

Publish Date
Publisher
American Mathematical Society
Language
English
Pages
106

Check nearby libraries

Buy this book

Subjects

Recursive functions, Symbolic and mathematical Logic
Edition Availability
Cover of: Formalized recursive functionals and formalized realizability
Formalized recursive functionals and formalized realizability
1969, American Mathematical Society
in English

Add another edition?

Book Details

Edition Notes

Cover title.

Bibliography: p. 104-106.

Published in
Providence
Series
Memoirs of the American Mathematical Society -- no. 89

The Physical Object

Pagination
106 pages
Number of pages
106

Edition Identifiers

Open Library
OL52398952M
OCLC/WorldCat
1318874

Work Identifiers

Work ID
OL38505418W

Source records

marc_columbia MARC record
Harvard University record

Community Reviews (0)

No community reviews have been submitted for this work.

Lists

Loading indicator
Loading carousel
Loading indicator
Loading carousel

History

Download catalog record: RDF / JSON
December 17, 2024 Edited by MARC Bot import existing book
July 13, 2024 Created by MARC Bot import new book