Jean-Louis Krivine

Mathématicien · professeur d'université · France

1939 –

Œuvres5

Total pages890médiane 176 p.

Période d'activité1967–2024

Prochaine sortie estimée2035-05±266 mois · mix régression+cadence

Première œuvre: Éléments de logique mathématique, théorie des modèles (1967)
Dernière œuvre: Les décompilateurs (2024)

Prochain livre estimé : ~2035-05 (±266 mois)

Bibliographie (5)

Année	Titre	Éditeur	Pages
1967	Éléments de logique mathématique, théorie des modèles	Dunod	214
1969	Théorie axiomatique des ensembles	Presses universitaires de France	120
1990	Lambda-calcul	Masson	176

Année	Titre	Auteur(s) principal	Éditeur
2019	Logique mathématique 2	Daniel Lascar, René Cori	Dunod
1993	Logique mathématique	Daniel Lascar, René Cori	Masson

Auteurs ayant un livre paru la même année chez un éditeur de Jean-Louis Krivine.

Auteur	Contexte(s)	Croisements
Jean Larguier	Masson (1990) · Presses universitaires de France (1969)	3
Roland Pressat	Dunod (1967) · Presses universitaires de France (1969)	3
Pierre Ducassé	Dunod (1967) · Presses universitaires de France (1969)	3
Edmund Husserl

Éditeur	Œuvres
Calvage & Mounet	1
Cassini	1
Dunod	1
Masson	1
Presses universitaires de France	1