Algunas propiedades formales de un sistema deductivo con interrogaciones
Fil: Urtubey, Luis Adrián. Universidad Nacional de Córdoba. Facultad de Filosofía y Humanidades; Argentina.
Guardado en:
| Autor principal: | |
|---|---|
| Formato: | conferenceObject |
| Lenguaje: | Español |
| Publicado: |
Universidad Nacional de Córdoba
2016
|
| Materias: | |
| Acceso en línea: | http://hdl.handle.net/11086/2884 |
| Aporte de: |
| id |
I10-R141-11086-2884 |
|---|---|
| record_format |
dspace |
| spelling |
I10-R141-11086-28842023-11-13T13:44:36Z Algunas propiedades formales de un sistema deductivo con interrogaciones Urtubey, Luis Adrián Epistemología Historia de la ciencia Fil: Urtubey, Luis Adrián. Universidad Nacional de Córdoba. Facultad de Filosofía y Humanidades; Argentina. 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). Fil: Urtubey, Luis Adrián. Universidad Nacional de Córdoba. Facultad de Filosofía y Humanidades; Argentina. 2016-08-04T17:51:20Z 2016-08-04T17:51:20Z 1996-11 conferenceObject http://hdl.handle.net/11086/2884 spa Atribución-NoComercial-SinDerivadas 2.5 Argentina http://creativecommons.org/licenses/by-nc-nd/2.5/ar/ Universidad Nacional de Córdoba |
| institution |
Universidad Nacional de Córdoba |
| institution_str |
I-10 |
| repository_str |
R-141 |
| collection |
Repositorio Digital Universitario (UNC) |
| language |
Español |
| topic |
Epistemología Historia de la ciencia |
| spellingShingle |
Epistemología Historia de la ciencia Urtubey, Luis Adrián Algunas propiedades formales de un sistema deductivo con interrogaciones |
| topic_facet |
Epistemología Historia de la ciencia |
| description |
Fil: Urtubey, Luis Adrián. Universidad Nacional de Córdoba. Facultad de Filosofía y Humanidades; Argentina. |
| format |
conferenceObject |
| author |
Urtubey, Luis Adrián |
| author_facet |
Urtubey, Luis Adrián |
| author_sort |
Urtubey, Luis Adrián |
| title |
Algunas propiedades formales de un sistema deductivo con interrogaciones |
| title_short |
Algunas propiedades formales de un sistema deductivo con interrogaciones |
| title_full |
Algunas propiedades formales de un sistema deductivo con interrogaciones |
| title_fullStr |
Algunas propiedades formales de un sistema deductivo con interrogaciones |
| title_full_unstemmed |
Algunas propiedades formales de un sistema deductivo con interrogaciones |
| title_sort |
algunas propiedades formales de un sistema deductivo con interrogaciones |
| publisher |
Universidad Nacional de Córdoba |
| publishDate |
2016 |
| url |
http://hdl.handle.net/11086/2884 |
| work_keys_str_mv |
AT urtubeyluisadrian algunaspropiedadesformalesdeunsistemadeductivoconinterrogaciones |
| _version_ |
1806948685647446016 |