Applications of model theory to algebra, analysis and probability : [proceedings of the International Symposium held at the California Institute of Technology, from May 23 to 26, 1967] / edited by W.A.J. Luxemburg
Colaborador(es): Luxemburg, W. A. J
| International Symposium on the Applications of Model Theory to Algebra, Analysis, and Probability (1969. California)
.
Editor: New York [etc.] : Holt, Rinehart and Winston, cop. 1969Descripción: VII, 307 p. ; 21 x 28 cm.Tema(s): Teoría de modelos -- Congresos y asambleas![](/opac-tmpl/bootstrap/images/filefind.png)
Contenidos incompletos:
A General Theory of Monads / W.A.J. Luxemburg. Boolean Models and Nonstandard Analysis / Dana Scott. Axiomatizations of Nonstandard Analysis That Are Con-
servative Extensions of Formal Systems for Classical Standard
Analysis / G. Kreisel. Remarks on the Nonstandard Real Axis / Elias Zakon. On Completing Ordered Fields / Dana Scott.
Tipo de ítem | Ubicación actual | Signatura | Copia número | Estado | Fecha de vencimiento | Código de barras |
---|---|---|---|---|---|---|
![]() |
Biblioteca Estudio Teológico Agustiniano de Valladolid Fondo General | 511.2 Ap 6 Lux (Navegar estantería) | 199477 | Disponible |
Ejemplar fotocopiado
A General Theory of Monads / W.A.J. Luxemburg. Boolean Models and Nonstandard Analysis / Dana Scott. Axiomatizations of Nonstandard Analysis That Are Con-
servative Extensions of Formal Systems for Classical Standard
Analysis / G. Kreisel. Remarks on the Nonstandard Real Axis / Elias Zakon. On Completing Ordered Fields / Dana Scott.
No hay comentarios para este ejemplar.