Problems in the constructive trend in mathematics : proceedings
Material type:
TextLanguage: English Series: Proceedings of the Steklov Institute of mathematics,113Publication details: Providence A M S 1972Description: iii,287pISBN: - 0-8218-3013-1
- 511.3 Or66
| Item type | Current library | Call number | Status | Date due | Barcode | Item holds | |
|---|---|---|---|---|---|---|---|
| Books | ISI Library, Kolkata | 511.3 Or66 (Browse shelf(Opens below)) | Available | 84646 |
Total holds: 0
Browsing ISI Library, Kolkata shelves Close shelf browser (Hides shelf browser)
| No cover image available | No cover image available | |||||||
| 511.3 N943 Elements of mathematical logic | 511.3 Ob12 Bridge to abstract mathematics / | 511.3 Oo59 Realizability | 511.3 Or66 Problems in the constructive trend in mathematics : proceedings | 511.3 P123 Computing in Horn clause theories / | 511.3 P153 Additive cellular automata | 511.3 P231 Logic colloquium : proceedings |
There are no comments on this title.
Log in to your account to post a comment.
