Formalized Recursive Functionals and Formalized Realizability (Memoirs; No. 1/89)
Publisher: American Mathematical Society
Published: June 1969
Language: eng
Format: Paperback
Number of pages: 106
ISBN-13: 9780821812891
Subjects: Advanced; Mathematics