The logic of provability

Bibliographische Detailangaben
1. Verfasser:	Boolos, George (VerfasserIn)
Format:	Buch
Sprache:	English
Veröffentlicht:	Cambridge, England Cambridge University Press 1993.
Schlagworte:	Modality (Logic) Proof theory.