Showing 1 - 4 results of 4 for search 'Krivine, J. L.', query time: 0.02s Refine Results
  1. 1
    Lambda-calculus, types and models
    by Krivine, J. L.
    Published 1993
    Other Authors: “…Krivine, J. L.…”
    Book
  2. 2
    Introduction to axiomatic set theory
    by Krivine, J. L.
    Published 1971
    Other Authors: “…Krivine, J. L.…”
    Book
  3. 3
    Elements of mathematical logic (model theory)
    by Kreisel, Georg
    Published 1967
    Other Authors:
    Biblioteca Universidad de Deusto (Other Sources: Biblioteca de la Universidad de Navarra)
    Book
  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
    by CORI, René
    Published 1994
    Other Authors:
    Other

Search Tools: