Image from Amazon.com
Image from OpenLibrary
Image from Baker & Taylor
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 |
Browsing Castorina shelves, Shelving location: Estantes Abertas (Open Shelves), Collection: Livros (Books) Close shelf browser (Hides shelf browser)
| No cover image available No cover image available | No cover image available No cover image available | No cover image available No cover image available |
|
|
|
No cover image available No cover image available | ||
| 511.3 S959f 1964 IMPA First course in mathematical logic/ | 511.3 S959i 1957 IMPA Introduction to logic/ | 511.3 S959p 1970 IMPA A probabilistic theory of causality/ | 511.3 S996a 1978 IMPA Algebra of proofs/ | 511.3 T136t 1978 IMPA Two applications of logic to mathematics/ | 511.3 T146c 1964 IMPA The concept of matter in Descartes and Leibniz/ | 511.3 T193c 1949 IMPA Cardinal algebras; With an appendix: Cardinal products of isomorphism types/ |
Includes indexes.
Bibliography: p. 278-284.
There are no comments on this title.