Proceedings of the herbrand symposium : logic colloquium `81 / edited by J.Stern.
By: Stern, J | (7th : Proceeding of the herbrand symposium Marseilles ) 1981,Jul. : (7th.
Material type:
TextSeries: Studies in logic and the foundations of mathematics vol. 107, NULL. Studies in logic and the foundations of mathematics vol. 107, NULL.Publisher: Amsterdam : North-Holland Publishing , 1982Description: 384p. : ills. ; 26cm.ISBN: 0444864172.Subject(s): LOGIC,SYMBOLIC AND MATHEMATICALDDC classification: 511.3
| Item type | Current location | Call number | Copy number | Status | Date due | Barcode |
|---|---|---|---|---|---|---|
Books
|
Central Library Old Stack Room | 511.3 STE/P (Browse shelf) | 1 | Available | 28761 |
Browsing Central Library Shelves , Shelving location: Old Stack Room Close shelf browser
| 511.3 SIP/T Theory of computation / | 511.3 SRI/T A textbook on automata theory / | 511.3 SRI/T A textbook on automata theory / | 511.3 STE/P Proceedings of the herbrand symposium : logic colloquium `81 / | 511.3 STO/I Introduction to elementary mathematical logic / | 511.3 VAR/T Theory of computation : | 511.3 VAR/T Theory of computation : |
NULL
28761 USD 150.00
There are no comments for this item.