Lorenzen, Paul, 1915-1994
Metamatemática / Paul Lorenzen. - Madrid : Tecnos, 1971. - 208 p. ; 21 cm
I. Formalización de la lógica -- II. Formalización de la aritmética -- III. Aritmetización de los formalismos -- IV. Decibilidad de las teorías axiomáticas.
PSICOLOGÍA
LÓGICA MATEMÁTICA
164
Metamatemática / Paul Lorenzen. - Madrid : Tecnos, 1971. - 208 p. ; 21 cm
I. Formalización de la lógica -- II. Formalización de la aritmética -- III. Aritmetización de los formalismos -- IV. Decibilidad de las teorías axiomáticas.
PSICOLOGÍA
LÓGICA MATEMÁTICA
164