Lambda-calcul, types et modèles - Jean-Louis Krivine - Librairie Mollat Bordeaux
Etudes et recherche en informatique - Krivine, Jean-Louis: 9782225820915 - AbeBooks
Logique mathématique - Tome 2, Fonctions... de René Cori - Grand Format - Livre - Decitre
Livre : Les décompilateurs écrit par Jean-Louis Krivine - Calvage et Mounet
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
Jean-Louis Krivine
Jean Louis Krivine - 1/2 La correspondance de Curry-Howard donne de nouveaux modèles de ZF - YouTube
Krivine, Jean-Louis (1939-....) - Théorie des ensembles
Jean-Louis Krivine - Babelio
Théorie des ensembles - Jean-Louis Krivine - Librairie Eyrolles
Untitled
Jean-Louis Krivine
jean louis krivine - AbeBooks
Jean Louis Krivine - 1/2 La correspondance de Curry-Howard donne de nouveaux modèles de ZF - YouTube
Amazon.fr - Théorie axiomatique des ensembles - Krivine (Jean-Louis) - Livres
Search | PUF
THÉORIE DES ENSEMBLES EUR 3,65 - PicClick FR
Jean-Louis Krivine - Babelio
Machine de Krivine — Wikipédia
