Catálogo Colectivo de las Bibliotecas Agustinianas de España

Vista normal Vista MARC Vista ISBD

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, (1929-) | 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
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.
Etiquetas de esta biblioteca: No hay etiquetas de esta biblioteca para este título. Ingresar para agregar etiquetas.
    valoración media: 0.0 (0 votos)

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.

Ingresar a su cuenta para colocar un comentario.
Catálogo Colectivo de las Bibliotecas Agustinianas de España.

Con tecnología Koha