Mostrando 1 - 4 Resultados de 4 Para Buscar 'KRIVINE, J.-L', tiempo de consulta: 0.02s Limitar resultados
  1. 1
    Lambda-calculus, types and models
    por Krivine, J. L.
    Publicado 1993
    Otros Autores: “…Krivine, J. L.…”
    Libro
  2. 2
    Introduction to axiomatic set theory
    por Krivine, J. L.
    Publicado 1971
    Otros Autores: “…Krivine, J. L.…”
    Libro
  3. 3
    Elements of mathematical logic (model theory)
    por Kreisel, Georg
    Publicado 1967
    Otros Autores:
    Biblioteca Universidad de Deusto (Otras Fuentes: Biblioteca de la Universidad de Navarra)
    Libro
  4. 4
    Logique Methematique. Cours et exercices : : I. Calcul propositionnel, algèbres de Boole, calcul des prédicats. II. Fonctions recursives, théorème de Gödel, théorie des ensembles, théorie des modèles
    por CORI, René
    Publicado 1994
    Otros Autores:
    Otros

Herramientas de búsqueda: