A formalization of set theory without variables/ by Alfred Tarski and Steven Givant.
Series: Colloquium publications (American Mathematical Society) ; v. 41.Publication details: Providence, R.I.: American Mathematical Society, c1987.Description: xxi, 318 p.: ill.; 26 cmISBN:- 0821810413 (alk. paper)
- 511.322 T193f
Item type | Current library | Collection | Call number | Copy number | Status | Date due | Barcode |
---|---|---|---|---|---|---|---|
Books | Castorina Estantes Abertas (Open Shelves) | Livros (Books) | 511.322 T193f 1987 IMPA (Browse shelf(Opens below)) | 1 | Available | 39063000099724 |
Includes indexes.
Bibliography: p. 273-282.
There are no comments on this title.