A formalization of set theory without variables
Material type:
TextSeries: ( Colloquium publications) ( American Mathematical Society v.1)Publication details: Providence American Mathematical Society 1987 Description: xxi, 318p
| Item type | Current library | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
Books
|
University Library | 510.23 TAR (Browse shelf(Opens below)) | Available | G0004738 |
Browsing University Library shelves 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 |
|
||
| 510.223 HRB Introduction to set theory | 510.223 HRB'84 Introduction to set theory | 510.22+512.54 GRE Sets and groups | 510.23 TAR A formalization of set theory without variables | 510.25 TRO.1 Constructivism in Mathematics: An Introduction | 510.25 TRO.2 Constructivism in Mathematics: An Introduction | 51(03) ENC Random graphs |
There are no comments on this title.