A propósito del formalismo de Johann von Neumann

Fil: Lassalle Casanave, Abel. Universidade Federal da Bahia; Brasil.

Bibliographic Details
Authors: Lassalle Casanave, Abel, Pereira, Luiz Carlos
Format: article
Status:Published version
Publication Date:2020
Country:Argentina
Institution:Universidad Nacional de Quilmes
Repository:RIDAA (UNQ)
Language:Spanish
OAI Identifier:oai:ridaa.unq.edu.ar:20.500.11807/2397
Online Access:http://ridaa.unq.edu.ar/handle/20.500.11807/2397
Access Level:Open access
Keyword: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)
Description
Summary:Fil: Lassalle Casanave, Abel. Universidade Federal da Bahia; Brasil.

Similar Items