Proof theory and logical complexity.. T.1/ Jean-Yves Girard.
Series: Studies in proof theory ; 1.Publication details: Napoli: Bibliopolis, c1987.Description: 503 p; 25 cmISBN:- 8870881237
- 511.352 G517p
Item type | Current library | Collection | Call number | Copy number | Status | Date due | Barcode |
---|---|---|---|---|---|---|---|
Books | Castorina Estantes Abertas (Open Shelves) | Livros (Books) | 511.352 G517p 1987 IMPA (Browse shelf(Opens below)) | 1 | Available | 39063000097454 |
Index.
Bibliographie : p. [497]-500.
There are no comments on this title.