Chargement...
Chargement...
  1. Auteur
  2. Ithier, Philippe

Livres Philippe Ithier

Auteur

Support

Série
Disponibilité

1
Le grand renoncement : du langage à la logique
Le grand renoncement : du langage à la logique
Auteur : Philippe Ithier
Éditeur(s) : Cassini
Une introduction à la logique propositionnelle qui démontre les relations entre les mathématiques et le langage naturel à la lumière de nombreux exemples issus de textes littéraires. ©Electre 2025
24,00 €
Chargement...
Théorie de la récursivité pour la métamathématique
Théorie de la récursivité pour la métamathématique
Auteur : Raymond M. Smullyan
Éditeur(s) : Elsevier Masson
Expose les relations entre les notions de calculabilité, décidabilité, cohérence, contradiction..., qui dépassent le cadre strict des mathématiques (elles sont métamathématiques). ©Electre 2025
36,44 €
Chargement...
1