Feasible mathematics, II / Peter Clote, Jeffrey Remmel
Type de document : CongrèsCollection : Progress in computer science and applied logic, 13Langue : anglais.Pays: Etats Unis.Éditeur : Boston : Birkhäuser , 1995Description : 1 vol. (447 p.) ; 24 cmISBN: 9780817636753.Bibliographie : Bibliogr..Sujet MSC : 00B20, General and overarching topics; collections, Proceedings of conferences of general interest68-06, Proceedings, conferences, collections, etc. pertaining to computer science
03-06, Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundationsEn-ligne : Springerlink
Item type | Current library | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
Congrès | CMI Salle 1 | 03-06 CLO (Browse shelf(Opens below)) | Available | 11618-01 |
based on a workshop, held at the Cornell University, Ithaca, NY, USA, May 28-30, 1992
Bibliogr.
There are no comments on this title.