Shay Allen Logan

Un aperçu de l'importance du partage de variables dans les implications logiques.

Examiner l'hyperformalisme et son impact sur les systèmes logiques et le raisonnement.