Imagem da capa

The logic of provability

Detalhes bibliográficos
Autor principal: Boolos, George (Autor)
Formato: Livro
Idioma:inglês
Publicado em: Cambridge, England Cambridge University Press 1993.
Assuntos:
Modality (Logic)
Proof theory.