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