The logic of provability

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας:	Boolos, George (Συγγραφέας)
Μορφή:	Βιβλίο
Γλώσσα:	English
Έκδοση:	Cambridge, England Cambridge University Press 1993.
Θέματα:	Modality (Logic) Proof theory.