Modèles non standard en arithmétique et théorie des ensembles/ J. P. Ressayre, A. J. Wilkie.
Series: Publications mathématiques de l'Université Paris VII ; 22Publication details: Paris: U.E.R. de Mathemátiques, [1986].Description: 147 p.; 24 cmSubject(s): DDC classification:- 511.3 R435m
Contents:
| Item type | Current library | Collection | Call number | Copy number | Status | Date due | Barcode |
|---|---|---|---|---|---|---|---|
Books
|
Castorina Estantes Abertas (Open Shelves) | Livros (Books) | 511.2 R435m 1986 IMPA (Browse shelf(Opens below)) | 1 | Available | 39063000096191 |
Includes bibliographies.
Modèles non standard de l'arithmétique, et complexité algorithmique / A.J. Wilkie -- Modèles non standard et sous-systèmes remarquables de ZF / J-P Ressayre.
There are no comments on this title.