Algebra of proofs/ M. E. Szabo.
Series: Studies in logic and the foundations of mathematics ; v. 88.Publication details: Amsterdam ; New York: North-Holland, New York: Sole distributors for the U.S.A. and Canada, Elsevier/North-Holland, 1978.Description: xii, 297 p. ; 23 cmISBN:- 0720422868
- 511.3 S996a
Item type | Current library | Collection | Call number | Copy number | Status | Date due | Barcode |
---|---|---|---|---|---|---|---|
Books | Castorina Estantes Abertas (Open Shelves) | Livros (Books) | 511.3 S996a 1978 IMPA (Browse shelf(Opens below)) | 1 | Available | 39063000098551 |
Includes indexes.
Bibliography: p. 278-284.
There are no comments on this title.