The Logic of Provability
-
pocket
,
Engelska, 1995