logique

Macro latex pour la mise en forme d'arbre de preuves.

Livre basé sur les notes de Jean-Yves Girard traduites et augmentées par Paul Taylor and Yves Lafont.

Comme je travaille à analyser les sémentique de jeux dans ma thèse, le passage suivant, écrit avant 1936, m'a frappé comme une anticipation de l'intuition principale derrière les travaux actuels dans mon domaine: