Bienvenue à la Médiathèque de l'IDECAF !
Indexation 511.3 : Logique symbolique (mathématique)
511.2 Mathématiques inductives et déductives. Systèmes mathématiquesOuvrages de la bibliothèque en indexation 511.3 (2)
Affiner la recherche Interroger des sources externes
texte imprimé
texte imprimé
Alan Turing ; Jean-Yves Girard ; Julien Basch, Traducteur ; Patrice Blanchard, Traducteur | Paris : Seuil | Sources du savoir | 1995
