Search
Now showing items 1-1 of 1
Algunas propiedades formales de un sistema deductivo con interrogaciones
(Universidad Nacional de Córdoba, 1996-11)
Presupondremos a lo largo de este trabajo Cierta familiaridad con el método de los tableau o block tableau, según -por ejemplo- la exposición de Smullyan (1968).