A propósito del formalismo de Johann von Neumann

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

Saved in:

Bibliographic Details
Main Authors:	Lassalle Casanave, Abel, Pereira, Luiz Carlos
Format:	Online
Language:	Spanish
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

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

Similar Items