![Jean Louis Krivine - 1/2 La correspondance de Curry-Howard donne de nouveaux modèles de ZF - YouTube Jean Louis Krivine - 1/2 La correspondance de Curry-Howard donne de nouveaux modèles de ZF - YouTube](https://i.ytimg.com/vi/HT9F5QDQOEg/maxresdefault.jpg)
Jean Louis Krivine - 1/2 La correspondance de Curry-Howard donne de nouveaux modèles de ZF - YouTube
![Logique mathématique, tome 2 : Fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles | Rakuten Logique mathématique, tome 2 : Fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles | Rakuten](https://fr.shopping.rakuten.com/photo/logique-mathematique-tome-2-fonctions-recursives-theoreme-de-godel-theorie-des-ensembles-theorie-des-modeles-format-poche-1522350278_ML.jpg)
Logique mathématique, tome 2 : Fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles | Rakuten
![Jean-Louis Krivine. Théorie axiomatique des ensembles. Presses Universitaires de France, Paris1969, 120 pp. - Jean-Louis Krivine. Introduction to axiomatic set theory. English translation of the preceding by David Miller. D. Reidel Publishing Jean-Louis Krivine. Théorie axiomatique des ensembles. Presses Universitaires de France, Paris1969, 120 pp. - Jean-Louis Krivine. Introduction to axiomatic set theory. English translation of the preceding by David Miller. D. Reidel Publishing](https://static.cambridge.org/content/id/urn%3Acambridge.org%3Aid%3Aarticle%3AS0022481200065737/resource/name/firstPage-S0022481200065737a.jpg)
Jean-Louis Krivine. Théorie axiomatique des ensembles. Presses Universitaires de France, Paris1969, 120 pp. - Jean-Louis Krivine. Introduction to axiomatic set theory. English translation of the preceding by David Miller. D. Reidel Publishing
![Théorie Axiomatique des Ensembles, par Jean-Louis Krivine. 120 pages. Collection SUP, section "Le mathématicien", Presses Univ. France, Paris, 1969. 10F. | Canadian Mathematical Bulletin | Cambridge Core Théorie Axiomatique des Ensembles, par Jean-Louis Krivine. 120 pages. Collection SUP, section "Le mathématicien", Presses Univ. France, Paris, 1969. 10F. | Canadian Mathematical Bulletin | Cambridge Core](https://static.cambridge.org/content/id/urn%3Acambridge.org%3Aid%3Aarticle%3AS0008439500031507/resource/name/firstPage-S0008439500031507a.jpg)