Formalized recursive functionals and formalized realizability / by S.C. Kleene.
1969
QA9.615 .K54 1969
Linked e-resources
Linked Resource
Details
Title
Formalized recursive functionals and formalized realizability / by S.C. Kleene.
ISBN
9780821812891
9781470400385 (e-book)
9781470400385 (e-book)
Published
Providence : American Mathematical Society, 1969.
Language
English
Description
1 online resource (110 pages).
Call Number
QA9.615 .K54 1969
Note
Cover title.
Bibliography, etc. Note
Bibliography: pages 104-106.
Access Note
Access limited to authorized users.
Source of Description
Description based on print version record.
Series
Memoirs of the American Mathematical Society ; no. 89.
Available in Other Form
Linked Resources
Record Appears in