WorldCat Identities

Krivine, J. L. (Jean Louis)

Overview
Works: 54 works in 200 publications in 6 languages and 2,370 library holdings
Roles: Author, Editor, Author of introduction
Classifications: QA9, 164
Publication Timeline
.
Most widely held works by J. L Krivine
Introduction to axiomatic set theory by J. L Krivine( Book )

40 editions published between 1969 and 1972 in 4 languages and held by 650 WorldCat member libraries worldwide

Elements of mathematical logic. (Model theory) by Georg Kreisel( Book )

32 editions published between 1957 and 2000 in 3 languages and held by 519 WorldCat member libraries worldwide

Provability, Computability and Reflection
Lambda-calculus, types and models by J. L Krivine( Book )

19 editions published between 1990 and 1993 in 3 languages and held by 245 WorldCat member libraries worldwide

Éléments de logique mathématique, théorie des modèles by Georg Kreisel( Book )

16 editions published between 1966 and 1967 in French and Undetermined and held by 160 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 146 WorldCat member libraries worldwide

Modelltheorie; eine Einführung in die mathematische Logik und Grundlagentheorie by Georg Kreisel( Book )

10 editions published in 1972 in German and held by 97 WorldCat member libraries worldwide

Logique mathématique. cours et exercices corrigés by René Cori( Book )

3 editions published between 2003 and 2005 in French and held by 90 WorldCat member libraries worldwide

Logique mathématique. cours et exercices corrigés by René Cori( Book )

3 editions published between 1994 and 2003 in French and held by 84 WorldCat member libraries worldwide

Séminaire de géométrie des espaces de Banach, Paris VII (1982) by Bernard Beauzamy( Book )

8 editions published between 1982 and 1983 in English and French and held by 53 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 )

4 editions published in 1984 in French and English and held by 40 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 39 WorldCat member libraries worldwide

Calcul propositionnel, algèbres de Boole, calcul des prédicats by René Cori( Book )

3 editions published between 1993 and 1996 in French and held by 20 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 )

3 editions published in 2003 in French and held by 5 WorldCat member libraries worldwide

Aksimatička teorija skupova by J. L Krivine( Book )

1 edition published in 1978 in Croatian and held by 4 WorldCat member libraries worldwide

Sous-espaces de Ldpar D. Dacunha-Castella et J. L. Krivine by Didier Dacunha-Castelle( Book )

2 editions published in 1975 in French and held by 3 WorldCat member libraries worldwide

Sous-espaces de L puissance 1 by Didier Dacunha-Castelle( Book )

1 edition published in 1975 in French and held by 3 WorldCat member libraries worldwide

Modèles standard et non standard de théorie des ensembles by Emmanuel Isambert( Book )

2 editions published in 1973 in French and held by 3 WorldCat member libraries worldwide

 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.73 (from 0.60 for Elements o ... to 0.94 for Sous-espac ...)

Alternative Names
Jean-Louis Krivine fransk matematikar

Jean-Louis Krivine fransk matematiker

Jean-Louis Krivine französischer Mathematiker

Krivine, J. L.

Krivine, Jean Louis

Languages
French (84)

English (62)

German (10)

Dutch (2)

Croatian (1)

Spanish (1)

Covers