Livres
Livres en français
Livres en langues étrangères
Livres numériques
Conseils
Les conseils de lecture
Les sélections thématiques
Agenda
L'agenda des librairies
Nos cycles d'événements
Livres
en français
De Jean-Louis Krivine
disponibilité
éditeur
date de sortie
thème
collection
prix
6 résultats
TRIER PAR
Pertinence
Du plus récent au plus ancien
Du plus ancien au plus récent
Prix décroissant
Prix croissant
Titre A -> Z
Titre Z -> A
Les décompilateurs : l'Univers en tête
Jean-Louis Krivine
Théorie des ensembles
Jean-Louis Krivine
Lambda-calcul, types et modèles
Jean-Louis Krivine
Théorie des ensembles
Jean-Louis Krivine
Logique mathématique. Vol. 1. Calcul propositionnel, algèbre de Boole, calc
René Cori, Daniel Lascar
Logique mathématique. Vol. 2. Fonctions récursives, théorème de Gödel, théo
René Cori, Daniel Lascar
