Les Démonstrations de cohérence de l'arithmétique

De Jean-Yves Girard

Non commercialisé sur notre site

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

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

Hermann
La Machine de Turing
Alan Mathison Turing, Jean-Yves Girard

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

Points

7,09
La Machine de Turing
Alan Mathison Turing, Jean-Yves Girard

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

Seuil

13,00