Metamatemática /
por Lorenzen, Paul.
Tipo de material: LibroEditor: Madrid : Tecnos, 1971Descripción: 208 p. ; 21 cm.Materia(s): PSICOLOGÍA | LÓGICA MATEMÁTICA
Contenidos:
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.
Tipo de ítem | Ubicación actual | Colección | Signatura topográfica | Número de copia | Estado | Notas | Fecha de vencimiento | Código de barras | Reserva de ejemplares |
---|---|---|---|---|---|---|---|---|---|
Libros |
BIBLIOTECA RIOBAMBA
Biblioteca de Psicologia, Odontologia, Enfermeria e Instrumentacion Quirurgica |
Psicología | 164 LOR (Navegar estantería) | 1 | Disponible | Donación Pablo Zöpke | 3445c |
Reservas Totales: 0
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.