Linguistique de l’écrit
Revue internationale en libre accès
Revue | Auteurs
Problems in the logic of provability
2006
Lev BeklemishevAlbert Visser
in: Mathematical problems from applied logic I, Dordrecht : Springer
