Table of Contents
Formalized Recursive Functionals and Formalized Realizability
Base Product Code Keyword List:
memo; MEMO; memo/1; MEMO/1; memo-1; MEMO-1; memo/1/89; MEMO/1/89; memo-1-89; MEMO-1-89
Online Product Code:
MEMO/1/89.E
Title (HTML):
Formalized Recursive Functionals and Formalized Realizability
Author(s) (Product display):
S. C. Kleene
Book Series Name:
Memoirs of the American Mathematical Society
Publication Month and Year:
2013-03-17
Copyright Year:
1969
Page Count:
106
Online ISBN 13:
978-1-4704-0038-5
Online ISSN:
0065-9266
Primary MSC:
03
Textbook?:
false
Applied Math?:
false
MAA Book?:
false
Inquiry Based Learning?:
false
Electronic Media?:
false
Apparel or Gift:
false
SXG Subject:
LF
Online Price 1 Label:
List
Online Price 1:
21.00
Online Price 2 Label:
AMS Member
Online Price 2:
12.60
Online Price 3 Label:
MAA Member
Online Price 3:
18.90
Electronic Add to Cart URL:
/some/url/at/AMS/MEMO-1-89.E
Print Available to Order:
false
Review Copy:
https://www.ams.org/exam-desk-review-request?&eisbn=978-1-4704-0038-5&epc=MEMO/1/89.E&title=Formalized%20Recursive%20Functionals%20and%20Formalized%20Realizability&author=S.%20C.%20Kleene&type=R
CCC Permissions Link:
https://www.copyright.com/openurl.do?isbn=9781470400385&WT.mc.id=American%20Mathematical%20Society
