Formalized Recursive Functionals and Formalized Realizability cover image

Memoirs of the American Mathematical Society
1969; 106 pp; 
MSC: Primary 03;

Electronic ISBN: 978-1-4704-0038-5
Product Code: MEMO/1/89.E

List Price: $21.00
AMS Member Price: $12.60
MAA Member Price: $18.90