A propósito del formalismo de Johann von Neumann

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

Guardado en:

Detalles Bibliográficos
Autores principales:	Lassalle Casanave, Abel, Pereira, Luiz Carlos
Formato:	Artículo publishedVersion
Lenguaje:	Español
Publicado:	Universidad Nacional de Quilmes 2020
Materias:	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)
Acceso en línea:	http://ridaa.unq.edu.ar/handle/20.500.11807/2397
Aporte de:	RIDAA - Repositorio Institucional Digital (UNQ) de Universidad Nacional de Quilmes

Descripción
Sumario:	Fil: Lassalle Casanave, Abel. Universidade Federal da Bahia; Brasil.