Biblioteca Laura Manzo

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

Saved in:

Main Authors:	Lassalle Casanave, Abel, Pereira, Luiz Carlos
Format:	info:eu-repo/semantics/article
Language:	spa
Published:	Universidad Nacional de Quilmes 2020
Subjects:	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)
Online Access:	http://ridaa.unq.edu.ar/handle/20.500.11807/2397

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