Many-valued logics/ [by] J. Barkley Rosser [and] Atwell R. Turquette.
Series: Studies in logic and the foundations of mathematicsPublication details: Amsterdam ; North-Holland, 1952.Description: 124 p.: 22 cmSubject(s): DDC classification:- 511.3 R828m
| Item type | Current library | Collection | Call number | Copy number | Status | Date due | Barcode |
|---|---|---|---|---|---|---|---|
Books
|
Castorina Estantes Abertas (Open Shelves) | Livros (Books) | 511.3 R828m 1952 IMPA (Browse shelf(Opens below)) | 1 | Available | 39063000100456 |
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 | No cover image available No cover image available |
|
No cover image available No cover image available | ||
| 511.3 R813e 1950 IMPA The elements of mathematical logic. | 511.3 R828d 1955 IMPA Deux esquisses de logique/ | 511.3 R828l 1953 IMPA Logic for mathematicians/ | 511.3 R828m 1952 IMPA Many-valued logics/ | 511.3 R828s 1969 IMPA Simplified independence proofs; Boolean valued models of set theory/ | 511.3 R893m 1980 IMPA The mathematical theory of L systems/ | 511.3 R896e 1963 IMPA Equivalents of the axiom of choice/ |
There are no comments on this title.