Tous nos rayons

Déjà client ? Identifiez-vous

Mot de passe oublié ?

Nouveau client ?

CRÉER VOTRE COMPTE
Jean-Louis Krivine

Jean-Louis Krivine

Biographie de Jean-Louis Krivine

Jean-Louis Krivine est professeur à l'Université Paris 7, spécialiste de géométrie algébrique réelle, d'analyse fonctionnelle, de logique et d'informatique théorique. Il a créé, en 1982, l'équipe de logique mathématique, qui est l'un des plus importants laboratoires au monde dans ce domaine. Lauréat de l'Académie des Sciences en 1994 et Prix du Rayonnement français en 2004, il est l'auteur de plusieurs ouvrages de référence en logique.

Livres de Jean-Louis Krivine

Résultats : 1 à 4 sur 4 livres
Les décompilateurs
L'univers en tête

Auteur : Jean-Louis Krivine

Éditeur : Calvage et Mounet

Date de parution : 11/07/2024

Expédié sous 24h

Disponible en magasin

Retrait en librairie dans la journée

Papier

15,00 €

Théorie des ensembles

Auteur : Jean-Louis Krivine

Éditeur : Cassini

Date de parution : 17/08/2007

Expédié sous 24h

Disponible en magasin

Retrait en librairie dans la journée

Papier

40,00 €

Théorie des ensembles

Auteur : Jean-Louis Krivine

Éditeur : Cassini

Date de parution : 01/06/1998

Indisponible définitivement

Lambda-calcul, types et modèles

Auteur : Jean-Louis Krivine

Éditeur : Elsevier-Masson

Date de parution : 10/04/1990

Indisponible

Les livres de Jean-Louis Krivine sont disponibles dans les rayons suivants

Informatique Développement d'applications Techniques de programmation Logique
Sciences Mathématiques Mathématiques par matières Algèbre Cours
Sciences Mathématiques Mathématiques par matières Algèbre Exercices
Sciences Mathématiques Mathématiques par matières Logique
Sciences Mathématiques Mathématiques par matières Logique Logique floue
Sciences Mathématiques Mathématiques par matières Logique Algèbre de Boole
Sciences Mathématiques Mathématiques par matières Théorie des ensembles
Sciences Mathématiques Mathématiques appliquées Mathématiques pour la physique
Sciences Mathématiques Logiciels de calcul
Sciences Physique Physique fondamentale
Sciences Physique Physique fondamentale Etats de la matière
Sciences Physique Physique fondamentale Physique et mécanique quantique
Sciences Physique Physique fondamentale Physique des particules
Sciences Physique Physique fondamentale Physique nucléaire et atomique
Sciences Physique Mécanique Méthodes numériques
Sciences Etudes et concours Classes préparatoires et grandes écoles - Livres classes prépas scientifiques Mathématiques
Sciences Etudes et concours Classes préparatoires et grandes écoles - Livres classes prépas scientifiques Physique
satisfait ou remboursé
Satisfait ou remboursé
Paiement sécurisé
modes de paiement
Paiement à l'expédition
partout dans le monde
Livraison partout dans le monde
Service clients sav@commande.eyrolles.com
librairie française
Librairie française depuis 1925
Recevez nos newsletters
Vous serez régulièrement informé(e) de toutes nos actualités.
Inscription