Résultat(s) 1 - 13 résultats de 13 pour la requête 'Krivine Jean-Louis', Temps de recherche: 0,03s Affiner les résultats
  1. 1
    Lambda-calcul : types et modèles
    par Krivine Jean-Louis
    Masson 1990
    Livre
  2. 2
    Théorie des ensembles
    par Krivine Jean-Louis
    Cassini DL 1998
    Livre
  3. 3
    Théorie axiomatique des ensembles
    par Krivine Jean-Louis
    Presses universitaires de France 1969
    Livre
  4. 4
    Eléments de logique mathématique : théorie des modèles
    Livre
  5. 5
    Elements of mathematical logic : (model theory)
    par Kreisel Georg, Krivine Jean-Louis
    North-Holland Publishing Company 1971
    Livre
  6. 6
    Séminaire de géométrie des espaces de Banach, Paris VII (1983)
    par Beauzamy Bernard, Krivine Jean-Louis, Maurey Bernard
    U.E.R. de mathematiques [1984]
    Livre
  7. 7
    Interactive models of computation and program behavior
    par Curien Pierre-Louis, Herbelin Hugo, Krivine Jean-Louis
    Société Mathématique de France 2009
    Livre
  8. 8
    Séminaire d'analyse fonctionnelle : 1983/1984, Paris VII-VI
    Livre
  9. 9
    Logique mathématique : cours et exercices : 1 : Calcul propositionnel, algèbres de Boole, calcul des prédicats
    par Cori René, Lascar Daniel
    Masson 1994
    Manuel
  10. 10
    Logique mathématique : II : Fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles : cours et exercices
    par Cori René, Lascar Daniel
    Masson 1993
    Manuel
  11. 11
    Logique mathématique : 1 : Calcul propositionnel, algèbre de Boole, calcul des prédicats : cours et exercices corrigés
    par Cori René, Lascar Daniel
    Dunod cop. 2003
    Manuel
  12. 12
    Logique mathématique : 2 : Fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles : cours et exercices
    par Cori René, Lascar Daniel
    Masson 1994
    Livre
  13. 13
    Logique mathématique : 2 : Fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles : cours et exercices corrigés
    par Cori René, Lascar Daniel
    Dunod DL 2003
    Manuel
Réutiliser cette recherche: Flux RSS – Envoyer cette recherche par courriel – Enregistrer la recherche

Vous cherchez un article par son titre ?

Consultez notre mode d'emploi sur les accès aux ressources numériques et l'activation de Nantilien.