conferenceObject
Algunas propiedades formales de un sistema educativo con interrogaciones
Autor
Urtubey, Luis
Institución
Resumen
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).