Atención: recuerde que este es un catálogo parcial de nuestra colección.

Búsqueda por código de MSC 2000:
    03F55 - Intuitionistic mathematics
Mostrando 1-7 de 7 resultados, ordenados por

Choice sequences : a chapter of intuitionistic mathematics

by A. S. Troelstra.

Oxford : Clarendon Press, 1977.

Ubicación:

  • 03
    T843

Constructive order types

John N. Crossley.

Amsterdam ; London : North-Holland, 1969.

Ubicación:

  • 03
    C951

Intuitionistic logic, model theory and forcing

Melvin Chris Fitting.

Amsterdam : North-Holland, 1969.

Ubicación:

  • 03
    F547

Semantic construction of intuitionistic logic

by E. W. Beth.

Amsterdam : Noord-Hollandsche Uitg. Mij., 1956.

Ubicación:

  • 03
    B562sc

Intuitionism : an introduction

A. Heyting.

Amsterdam : North-Holland, 1956.

Ubicación:

  • 03
    H621

Axiomatique intuitionniste sans négation de la géométrie projective

par N. Dequoy.

Paris : Gauthier-Villars ; Louvain : E. Nauwelaerts, 1955.

Ubicación:

  • 03
    D426

Explorar índices alfabéticos


Ingrese las primeras letras del autor o título que busca. Omita artículos iniciales en títulos.

Búsquedas por tema: explore la MSC 2000

¿Necesita ayuda?

Si necesita ayuda para encontrar información, puede visitar personalmente la biblioteca, llamarnos por teléfono al 291 459 5116, o enviarnos un mensaje a bibima@criba.edu.ar.

Para solicitar copias de artículos, complete el formulario o escríbanos a pedidos.inmabb@gmail.com

Enlaces surtidos