Combinators, terms and proof theory by S. Stenlund
Publication details: Holland D. Reidel Publishing Company 1972Description: 184 pSubject(s):| Item type | Current library | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
Books
|
Prof. M S Swaminathan Library, ICAR: Indian Agricultural Research Institute | 164 S 825 C (Browse shelf(Opens below)) | Available | 143003 |
Browsing Prof. M S Swaminathan Library, ICAR: Indian Agricultural Research Institute shelves Close shelf browser (Hides shelf browser)
| No cover image available | No cover image available | No cover image available | No cover image available | No cover image available | No cover image available | |||
| 1/62 X-I Bulletin DU Museum National Histoire Naturalle (Section B Adansonia) | 1/62 X-I Bulletin DU Museum National Histoire Naturalle (Section B Adansonia) | .1:631575 Biochemical Genetics | 164 S 825 C Combinators, terms and proof theory | 165.742 व्या89मा मानवता का विकास | 168.2:51 J 37 M Mathematical taxonomy | 168.2:51 J 37 M Mathematical taxonomy |
There are no comments on this title.