Formalized Recursive Functionals and Formalized Realizability (Amer Math Soc Memoir - # 89)

by Stephen C. Kleene Paperback details (USA). ISBN: 978-0-8218-1289-1 ISBN-10: 0-8218-1289-0 Amer Mathematical Society · 1969