Formalized Recursive Functionals and Formalized Realizability
Stephen C. Kleeneหมวดหมู่:
ปี:
1969
สำนักพิมพ์:
American Mathematical Society
ภาษา:
english
จำนวนหน้า:
106
ISBN 10:
0821812890
ISBN 13:
9780821812891
ซีรีส์:
American Mathematical Society Memoir 89
ไฟล์:
PDF, 11.80 MB
IPFS:
,
english, 1969