Linguistique de l’écrit
Revue internationale en libre accès
Revue | Auteurs
Kurt Gödel
2006
Karl Sigmund John DawsonKurt Mühlberger
Braunschweig, Vieweg
Facets of incompleteness
1987
John Dawson
in: Mathematical logic and its applications, Dordrecht : Springer