WorldCat Identities

Krivine, J. L. (Jean Louis)

Overview
Works: 54 works in 186 publications in 5 languages and 2,317 library holdings
Roles: Author of introduction, Editor
Classifications: QA9, 164
Publication Timeline
Key
Publications about  J. L Krivine Publications about J. L Krivine
Publications by  J. L Krivine Publications by J. L Krivine
Most widely held works by J. L Krivine
Elements of mathematical logic. (Model theory) by Georg Kreisel ( Book )
29 editions published between 1957 and 2000 in 3 languages and held by 614 WorldCat member libraries worldwide
Provability, Computability and Reflection
Introduction to axiomatic set theory by J. L Krivine ( Book )
16 editions published between 1971 and 1972 in English and Dutch and held by 423 WorldCat member libraries worldwide
Théorie axiomatique des ensembles by J. L Krivine ( Book )
23 editions published between 1969 and 1972 in 3 languages and held by 239 WorldCat member libraries worldwide
Éléments de logique mathématique, théorie des modèles by Georg Kreisel ( Book )
14 editions published between 1966 and 1967 in French and Undetermined and held by 160 WorldCat member libraries worldwide
Lambda-calculus, types and models by J. L Krivine ( Book )
11 editions published in 1993 in English and Spanish and held by 141 WorldCat member libraries worldwide
Théorie des ensembles by J. L Krivine ( Book )
7 editions published between 1970 and 2007 in French and held by 140 WorldCat member libraries worldwide
Lambda-calcul types et modèles by J. L Krivine ( Book )
8 editions published in 1990 in French and held by 104 WorldCat member libraries worldwide
Modelltheorie; eine Einführung in die mathematische Logik und Grundlagentheorie by Georg Kreisel ( Book )
8 editions published in 1972 in German and held by 94 WorldCat member libraries worldwide
Logique mathématique. cours et exercices corrigés by René Cori ( Book )
2 editions published between 2003 and 2005 in French and held by 86 WorldCat member libraries worldwide
Logique mathématique. cours et exercices corrigés by René Cori ( Book )
2 editions published in 2003 in French and held by 74 WorldCat member libraries worldwide
Séminaire de géométrie des espaces de Banach, Paris VII (1982) by Bernard Beauzamy ( Book )
6 editions published between 1982 and 1983 in English and French and held by 51 WorldCat member libraries worldwide
Séminaire de géométrie des espaces de Banach, Paris VII (1983) by Séminaire de géométrie des espaces de Banach ( Book )
2 editions published in 1984 in French and English and held by 39 WorldCat member libraries worldwide
Interactive models of computation and program behavior by P.-L Curien ( Book )
2 editions published in 2009 in English and held by 35 WorldCat member libraries worldwide
Calcul propositionnel, algèbres de Boole, calcul des prédicats by René Cori ( Book )
5 editions published between 1993 and 2003 in French and held by 20 WorldCat member libraries worldwide
Logique mathématique, cours et exercices : by René Cori ( Book )
1 edition published in 1994 in French and held by 9 WorldCat member libraries worldwide
Sous-espaces de L¹ by Didier Dacunha-Castelle ( Book )
3 editions published in 1975 in French and held by 9 WorldCat member libraries worldwide
Fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles by René Cori ( Book )
2 editions published between 1993 and 2003 in French and held by 7 WorldCat member libraries worldwide
Sous-espaces et cônes convexes dans les espaces L [exposant] p by J. L Krivine ( Book )
3 editions published in 1967 in French and held by 5 WorldCat member libraries worldwide
Logique mathématique : cours et exercices by René Cori ( Book )
2 editions published in 2003 in French and held by 4 WorldCat member libraries worldwide
Mathematical logic : a course with exercises. Pt. 2, Recursion theory, Gödel's theorems, set theory, model theory by René Cori ( Book )
1 edition published in 2001 in English and held by 4 WorldCat member libraries worldwide
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.71 (from 0.47 for Logique ma ... to 1.00 for Sous-espac ...)
Alternative Names
Krivine, J.-L.
Krivine, Jean L.
Krivine, Jean Louis
Languages
French (72)
English (60)
German (8)
Dutch (2)
Spanish (1)
Covers