Formalized recursive functionals and formalized realizability
We couldn't estimate the reading time for this book.
Author
Publication
1969 - American Mathematical Society, Providence, Rhode Island
Language
English
Word Count
0 words, Guess
Page Count
0 pages
Identifiers
- OCLC Control Number1318874
- Open LibraryOL52398952M
Subjects
Series Statement
- Memoirs of the American Mathematical Society -- no. 89
Reader Reviews
No reviews yet for this book.
Be the first to share your thoughts!