![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/bfAUYyGtokw/hq720.jpg?sqp=-oaymwEhCK4FEIIDSFryq4qpAxMIARUAAAAAGAElAADIQj0AgKJD&rs=AOn4CLAlExAsioP2JojgbIuuz63U1R8yPQ)
Jean Louis Krivine - 1/2 La correspondance de Curry-Howard donne de nouveaux modèles de ZF - YouTube
![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)
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
![Séminaire de Géométrie des espaces de Banach (Paris VII - 1982) par BEAUZAMY Bernard, KRIVINE Jean-Louis, MAUREY Bernard | Sylvain Paré Séminaire de Géométrie des espaces de Banach (Paris VII - 1982) par BEAUZAMY Bernard, KRIVINE Jean-Louis, MAUREY Bernard | Sylvain Paré](https://pictures.abebooks.com/inventory/30871641692.jpg)
Séminaire de Géométrie des espaces de Banach (Paris VII - 1982) par BEAUZAMY Bernard, KRIVINE Jean-Louis, MAUREY Bernard | Sylvain Paré
![Logique mathématique - Tome 1, Calcul propositionnel, algèbre de Boole, calcul des prédicats - dunod - 9782100825141 - Livre - Unitheque.com Logique mathématique - Tome 1, Calcul propositionnel, algèbre de Boole, calcul des prédicats - dunod - 9782100825141 - Livre - Unitheque.com](https://www.unitheque.com/Intermediaire1/CouvertureL/O/9782100825141-logique-mathematique_g.jpg)
Logique mathématique - Tome 1, Calcul propositionnel, algèbre de Boole, calcul des prédicats - dunod - 9782100825141 - Livre - Unitheque.com
![Mort d'Alain Krivine : « Plus je vieillis, plus je suis révolté » | Textes à l'appui | Là-bas si j'y suis Mort d'Alain Krivine : « Plus je vieillis, plus je suis révolté » | Textes à l'appui | Là-bas si j'y suis](https://la-bas.org/local/adapt-img/800/10x/IMG/jpg/arton6683-3.jpg?1647278030)