AMS Bookstore LOGO amslogo
Return to List

AMS TextbooksAMS Applications-related Books

Formalized Recursive Functionals and Formalized Realizability
S. C. Kleene
SEARCH THIS BOOK:

Memoirs of the American Mathematical Society
1969; 106 pp; softcover
Volume: 1
ISBN-10: 0-8218-1289-0
ISBN-13: 978-0-8218-1289-1
List Price: US$20
Individual Members: US$12
Institutional Members: US$16
Order Code: MEMO/1/89
[Add Item]
Powered by MathJax

  AMS Home | Comments: webmaster@ams.org
© Copyright 2014, American Mathematical Society
Privacy Statement

AMS Social

AMS and Social Media LinkedIn Facebook Podcasts Twitter YouTube RSS Feeds Blogs Wikipedia