Book serie: / Книги серии: American Mathematical Society Memoir 89 » Online Library TheLib.net

Online Library TheLib.net » Book serie: / Книги серии: American Mathematical Society Memoir 89

book Formalized Recursive Functionals and Formalized Realizability

Formalized Recursive Functionals and Formalized Realizability

pdf

Author: Stephen C. Kleene
Language: English
Year: 1969

00

27.01.2024

0

0