A propósito del formalismo de Johann von Neumann
Fil: Lassalle Casanave, Abel. Universidade Federal da Bahia; Brasil.
| Autores: | , |
|---|---|
| Tipo de recurso: | artículo |
| Estado: | Versión publicada |
| Fecha de publicación: | 2020 |
| País: | Argentina |
| Institución: | Universidad Nacional de Quilmes |
| Repositorio: | RIDAA (UNQ) |
| Idioma: | español |
| OAI Identifier: | oai:ridaa.unq.edu.ar:20.500.11807/2397 |
| Acceso en línea: | http://ridaa.unq.edu.ar/handle/20.500.11807/2397 |
| Access Level: | acceso abierto |
| Palabra clave: | Formalismo Demostración (Lógica) Consistencia (Lógica) Von Neumann, John, 1903-1957 Gentzen, Gerhard, 1909-1945 Hilbert, David, 1862-1943 Formalism Demonstration Consistency (Logic) Demonstração Consistência (Lógica) |
| Sumario: | Fil: Lassalle Casanave, Abel. Universidade Federal da Bahia; Brasil. |
|---|