Imagen de Portada

The logic of provability

Detalles Bibliográficos
Autor principal: Boolos, George (Autor)
Formato: Libro
Lenguaje:inglés
Publicado: Cambridge, England Cambridge University Press 1993.
Materias:
Modality (Logic)
Proof theory.