THE L.D.J. BROUWER CENTENARY SYMPOSIUM
Material type:
TextSeries: Studies In Logic And The Foundations Of Mathematics ; V. 110Publication details: Amsterdam North-Holland Pub. Company 1982Description: ix,523Subject(s): DDC classification: - 511.3 L968
| Item type | Current library | Collection | Call number | URL | Status | Date due | Barcode | Item holds | |
|---|---|---|---|---|---|---|---|---|---|
Books
|
PK Kelkar Library, IIT Kanpur | COMPACT STORAGE (BASEMENT) | 511.3 L968 (Browse shelf(Opens below)) | Link to resource | Available | A75885 |
Total holds: 0
Browsing PK Kelkar Library, IIT Kanpur shelves, Collection: COMPACT STORAGE (BASEMENT) 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 |
|
||
| 511.3 L829L 1988 Logic Colloquium | 511.3 L829p PATRAS LOGIC SYMPOSION | 511.3 L887 EINFUHRUNG IN DIE OPERATIVE LOGIK UND MATHEMATIK | 511.3 L968 THE L.D.J. BROUWER CENTENARY SYMPOSIUM | 511.3 M295i INTRODUCTION TO MATHEMATICAL LOGIC | 511.3 M314c A COURSE IN MATHEMATICAL LOGIC | 511.3 M315i Independence-friendly logic |
Proceedings Of The Conference Held In Noordwijkerhout, 8-13 June 1981
There are no comments on this title.
Log in to your account to post a comment.