Recursive program schemes: semantics and proof theory/ W. P. de Roever, Jr.
Series: Mathematical Centre tracts ; 70.Publication details: Amsterdam ; Mathematisch Centrum, 1976.Description: ix, 112 p. ; 24 cmISBN:- 9061961270
- 511.352 R719r
Item type | Current library | Collection | Call number | Copy number | Status | Notes | Date due | Barcode |
---|---|---|---|---|---|---|---|---|
Books | Castorina Estantes Abertas (Open Shelves) | Livros (Books) | 511.352 R719r 1976 IMPA (Browse shelf(Opens below)) | 1 | Available | Lógica matemática | 39063000098320 |
Bibliography: p. 108-112.
There are no comments on this title.