Materias dentro de su búsqueda.
Mostrando 1 - 7 Resultados de 7 Para Buscar '', tiempo de consulta: 0.02s Limitar resultados
  1. 1
    Intuitionism : an introduction
    por Heyting, A. 1898-1980
    Publicado 1966
    Libro
  2. 2
    Automated proof search in non-classical logics : efficient matrix proof methods for modal and intuitionistic logics
    por Wallen, Lincoln A.
    Publicado 1990
    Libro
  3. 3
    Intuitionistic logic, model theory and forcing
    por Fitting, Melvin, 1942-
    Publicado 1969
    Libro
  4. 4
    The foundations of intuitionistic mathematics, especially in relation to recursive functions
    por Kleene, Stephen Cole, 1909-1994
    Publicado 1965
    Libro
  5. 5
    The Kleene Symposium : proceedings of the symposium held June 18-24, 1978 at Madison, Wisconsin, U.S.A
    Publicado 1980
    Libro
  6. 6
    Intuitionism and proof theory : proceedings of the summer conference at Buffalo N.Y. 1968
    Publicado 1970
    Libro
  7. 7
    The L.E.J. Brouwer Centenary Symposium : proceedings of the conference held in Noordwijkerhout, 8-13 June 1981
    Publicado 1982
    Libro

Herramientas de búsqueda: