Formalized Recursive Functionals and Formalized Realizability
尚無評分
1969
·
英語
·
平裝書