Space in Weak Propositional Proof Systems /

Detalles Bibliográficos
Autor principal: Bonacina, Ilario. (Autor)
Autor Corporativo: SpringerLink (Online service)
Formato: eBook
Lenguaje:English
Publicado: Cham : Springer International Publishing : Imprint: Springer, 2017.
Edición:1st ed. 2017.
Materias:
Descripción
Descripción Física:XVII, 130 p. 15 illus., 8 illus. in color. : online resource.
ISBN:9783319734538