The logic of provability

Dettagli Bibliografici
Autore principale:	Boolos, George (Autore)
Natura:	Libro
Lingua:	English
Pubblicazione:	Cambridge, England Cambridge University Press 1993.
Soggetti:	Modality (Logic) Proof theory.