Analysis and logic/ edited by Catherine Finet & Christian Michaux ; authors, C. Ward Henson ... [et al.].
Series: London Mathematical Society lecture note series ; 262Publication details: Cambridge, UK; New York: Cambridge University Press, 2002.Description: xiv, 267 p.; 23 cmISBN:- 0521648610 (pbk.)
- 511.3 A532
Item type | Current library | Collection | Call number | Copy number | Status | Date due | Barcode |
---|---|---|---|---|---|---|---|
Books | Castorina Estantes Abertas (Open Shelves) | Livros (Books) | 511.3 A532 2002 IMPA (Browse shelf(Opens below)) | 1 | Available | 39063000617194 |
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 | ||||
511.3 A496f 1948 IMPA Fundamentals of symbolic logic/ | 511.3 A496l 1961 IMPA Logic: the theory of formal inference/ | 511.3 A532 1996 IMPA Logical reasoning with diagrams/ | 511.3 A532 2002 IMPA Analysis and logic/ | 511.3 A568t 1965 IMPA A transfinite type theory with type variables/ | 511.3 A652 1954 IMPA Applications scientifiques de la logique mathématique: actes du 2e Colloque international de logique mathématique, Paris, 25-30 aout 1952, Institut Henri Poincaré. | 511.3 A652 1954 IMPA Applications scientifiques de la logique mathématique: actes du 2e Colloque international de logique mathématique, Paris, 25-30 aout 1952, Institut Henri Poincaré. |
Includes bibliographical references and indexes.
There are no comments on this title.