Algunas propiedades formales de un sistema educativo con interrogaciones

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).

Guardado en:
Detalles Bibliográficos
Autor principal: Urtubey, Luis
Formato: conferenceObject
Lenguaje:Español
Publicado: Marisa Velasco 2016
Materias:
Acceso en línea:http://hdl.handle.net/11086/2884
Aporte de:
Descripción
Sumario: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).