The logic of provability

Bibliografske podrobnosti
Glavni avtor:	Boolos, George (Author)
Format:	Knjiga
Jezik:	English
Izdano:	Cambridge, England Cambridge University Press 1993.
Teme:	Modality (Logic) Proof theory.