Chargement...
Chargement...
Auteur

Support

Série

Disponibilité

1

Le grand renoncement : du langage à la logique

É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 2024
24,00 €
Chargement...

Théorie de la récursivité pour la métamathématique

É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 2024
36,44 €
Chargement...
1