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 à 3 sur 3 livres
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 dès demain

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 Etudes et concours Classes préparatoires et grandes écoles - Livres classes prépas scientifiques Mathématiques
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 01 78 90 09 91 sav@commande.eyrolles.com
librairie française
Librairie française depuis 1925