Linguistique de l’écrit
Revue internationale en libre accès
Revue | Auteurs
Automated search for Gödel's proofs
2008
Wilfried Sieg Clinton Field
in: Deduction, computation, experiment, Dordrecht : Springer
