Jean-Yves Girard

Enseignant à l'université de Paris VII. Directeur de recherche au CNRS (Marseille, en 2000).

Les Démonstrations de cohérence de l'arithmétique
Jean-Yves Girard

IREM Paris-Nord
La Machine de Turing
Alan Mathison Turing, Jean-Yves Girard

Points

8,30
La Machine de Turing
Alan Mathison Turing, Jean-Yves Girard

Seuil
Le Théorème de Gödel
Jean-Yves Girard, Kurt Godel, Ernest Nagel

Points

8,30
Le Theoreme De Godel
Ernest Nagel, Jean-Yves Girard, Kurt Godel

Seuil
Tome 1, Vers la perfection, Le Point Aveugle, Vol 1. Cours de Logique à Vers la Perfection
Jean-Yves Girard

Hermann

36,00
Tome 2, Vers l'imperfection, Le Point Aveugle, Vol 2. Cours de Logique Vers l'imperfection
Jean-Yves Girard

Hermann

38,00