Formalized recursive functionals and formaized realizability
Material type:
TextPublication details: Providence, Rhode Islan American mathematical society 1969Description: 106p p
| Item type | Current library | Home library | Call number | Status | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|---|
| Books | Jayakar Knowledge Resource Centre | Jayakar Knowledge Resource Centre | B:(R1) J9 (Browse shelf(Opens below)) | Available | 165483 |
Total holds: 0
There are no comments on this title.