The logic of provability

Bibliografiset tiedot
Päätekijä:	Boolos, George (Tekijä)
Aineistotyyppi:	Kirja
Kieli:	English
Julkaistu:	Cambridge, England Cambridge University Press 1993.
Aiheet:	Modality (Logic) Proof theory.