# Jean-Louis Krivine

> Fiche auteur du catalogue https://superlivre.fr/auteur/jean-louis-krivine-cb12162908k (données du dépôt légal BnF, enrichies Wikidata).

- **Dates** : 1939–
- **Occupation** : mathématicien · professeur d'université
- **Nationalité** : France
- **Œuvres au catalogue** : 5 (1967–2024)
- **Pagination médiane** : 176 pages
- **Wikipedia** : https://fr.wikipedia.org/wiki/Jean-Louis_Krivine
- **Wikidata** : https://www.wikidata.org/wiki/Q1684974
- **BnF** : https://catalogue.bnf.fr/ark:/12148/cb12162908k

## Œuvres

| Année | Titre | Éditeur (1re éd.) | Pages |
|---|---|---|---|
| 1967 | [Éléments de logique mathématique, théorie des modèles](https://superlivre.fr/livre/elements-de-logique-mathematique-theorie-des-modeles-c90fa24bee8f) | [Dunod](https://superlivre.fr/editeur/dunod) | 214 |
| 1969 | [Théorie axiomatique des ensembles](https://superlivre.fr/livre/theorie-axiomatique-des-ensembles-15fc13de6a88) | [Presses universitaires de France](https://superlivre.fr/editeur/presses-universitaires-de-france) | 120 |
| 1990 | [Lambda-calcul](https://superlivre.fr/livre/lambda-calcul-6c578e85e22b) | [Masson](https://superlivre.fr/editeur/masson) | 176 |
| 1998 | [Théorie des ensembles](https://superlivre.fr/livre/theorie-des-ensembles-9d5395e838b1) | [Cassini](https://superlivre.fr/editeur/cassini) | 273 |
| 2024 | [Les décompilateurs](https://superlivre.fr/livre/les-decompilateurs-cb47536221w) | [Calvage & Mounet](https://superlivre.fr/editeur/calvage-mounet) | 107 |

## En tant que contributeur

- 2019 — [Logique mathématique 2](https://superlivre.fr/livre/logique-mathematique-2-cb46523325g) de Daniel Lascar, René Cori
- 1993 — [Logique mathématique](https://superlivre.fr/livre/logique-mathematique-6adc7c38ecb7) de Daniel Lascar, René Cori

## Éditeurs principaux

- [Calvage & Mounet](https://superlivre.fr/editeur/calvage-mounet) — 1 œuvres
- [Cassini](https://superlivre.fr/editeur/cassini) — 1 œuvres
- [Dunod](https://superlivre.fr/editeur/dunod) — 1 œuvres
- [Masson](https://superlivre.fr/editeur/masson) — 1 œuvres
- [Presses universitaires de France](https://superlivre.fr/editeur/presses-universitaires-de-france) — 1 œuvres