Axiomatizations and conservation results for fragments of bounded arithmetic Buss, S. R
Publication details: Berkeley Mathematical Sciences Research Institute 1987Description: 24 p 29 cmItem type | Current library | Call number | Status | Date due | Barcode | |
---|---|---|---|---|---|---|
Carti | IMAR | III 29623 (Browse shelf(Opens below)) | Available | 0027878 |
Contine bibliografie
There are no comments on this title.
Log in to your account to post a comment.