Jean-Louis Krivine

Pays :France
Langue :français
Sexe :masculin
Note :
Mathématicien. - Professeur à l'Université Paris VII (en 1990)
ISNI :ISNI 0000 0001 0924 9003

Ses activités

Auteur du texte6 documents

  • Lambda-calcul

    types et modèles

    Description matérielle : VIII-176 p.
    Description : Note : Bibliogr. p. 167-170. Index
    Édition : Paris ; Milan ; Barcelone : Masson , 1990

    disponible en Haut de Jardin

    [catalogue][http://catalogue.bnf.fr/ark:/12148/cb35091743c]
  • Théorie des ensembles

    Description matérielle : 273 p.
    Description : Note : Bibliogr. p. 261-263. Index
    Édition : Paris : Cassini , 1998

    disponible en Haut de Jardin

    [catalogue][http://catalogue.bnf.fr/ark:/12148/cb36993797g]
  • G. Kreisel,... J. L. Krivine,... Éléments de logique mathématique

    Description matérielle : Gr. in-8° (25 cm), VIII-214 p. 58 F. [D. L. 234-67]
    Description : Note : Monographies de la Société mathématique de France. 3
    Édition : Paris : Dunod , 1967

    [catalogue][http://catalogue.bnf.fr/ark:/12148/cb33066130p]
  • Elements of mathematical logic

    Description matérielle : In-8° (23 cm), XII-222 p. [Acq. 7584-67]
    Description : Note : Studies in logic and the foundations of mathematics
    Édition : Amsterdam : North-Holland publishing company , 1967
    Auteur du texte : Georg Kreisel (1923-2015)

    [catalogue][http://catalogue.bnf.fr/ark:/12148/cb330661311]
  • Théorie axiomatique des ensembles

    Description matérielle : In-16 (18 cm), 120 p., illustration, couv. ill. 10 F. [D. L. 1847-69]
    Description : Note : Le Mathématicien. 1
    Édition : Paris : Presses universitaires de France , 1969

    [catalogue][http://catalogue.bnf.fr/ark:/12148/cb33066132c]

Éditeur scientifique2 documents

  • Séminaire de géométrie des espaces de Banach

    Paris VII, 1983

    Description matérielle : 2 vol. (254 p.)
    Description : Note : Textes en français ou en anglais. - Réunit les exposés présentés à l'Université Paris VII en 1983. - Notes bibliogr.
    Édition : Paris : UER de mathématiques [de l'Université Paris VII] : LA 212 du CNRS , [ca 1984]
    Éditeur scientifique : Bernard Beauzamy, Bernard Maurey

    [catalogue][http://catalogue.bnf.fr/ark:/12148/cb361586031]
  • Séminaire de géométrie des espaces de Banach

    Paris VII, 1982

    Description matérielle : 160 p.
    Description : Note : Textes en français ou en anglais. - Réunit la plupart des exposés présentés au séminaire d'analyse fonctionnelle de l'Université Paris VII en 1982. - Notes bibliogr.. - L'ouvrage porte par erreur : ISSN 0073-8301
    Édition : Paris : UER de mathématiques [de l'Université Paris VII] : LA 212 du CNRS , [ca 1983]
    Éditeur scientifique : Bernard Beauzamy, Bernard Maurey

    [catalogue][http://catalogue.bnf.fr/ark:/12148/cb36158601b]

Préfacier1 document

  • Logique mathématique

    cours et exercices corrigés

    Description matérielle : 2 vol. (XV-385 p., )
    Description : Note : Bibliogr. p. 361-363
    Édition : Paris : Dunod , 2003
    Auteur du texte : René Cori, Daniel Lascar

    disponible en Haut de Jardin

    [catalogue][http://catalogue.bnf.fr/ark:/12148/cb390039313]

Pages dans data.bnf.fr

Auteurs reliés

Cette page dans l'atelier

Sources et références

Voir dans le catalogue général de la BnF

Sources de la notice

  • Lambda-calcul : types et modèles / Jean-Louis Krivine, 1990

Biographie Wikipedia

  • Jean-Louis Krivine (1939,-) est un mathématicien français spécialisé en logique mathématique. Il est ancien élève de l'École normale supérieure (rue d'Ulm)-(promotion 1957), agrégé de mathématiques (1960), docteur d'État en mathématiques (1967), professeur des universités (professeur émérite à l'Université Paris Diderot), membre associé du laboratoire Preuves, Programmes et Systèmes.

Pages équivalentes