Uma semantica compacta minima para a logica de segunda orden



Título del documento: Uma semantica compacta minima para a logica de segunda orden
Revista: Boletim da Sociedade Paranaense de Matematica
Base de datos: PERIÓDICA
Número de sistema: 000006394
ISSN: 0037-8712
Autores: 1
Instituciones: 1Universidade Federal do Parana, Curitiba, Parana. Brasil
Año:
Volumen: 14
Número: 1-2
Paginación: 101-108
País: Brasil
Idioma: Portugués
Tipo de documento: Artículo
Enfoque: Teórico
Disciplinas: Filosofía,
Matemáticas
Palabras clave: Lógica,
Matemáticas puras,
Semántica,
Teoremas de Godel,
Lógica matemática,
Espacios compactos
Keyword: Philosophy,
Mathematics,
Logic,
Pure mathematics,
Semantics,
Godel's theorems,
Compact spaces,
Mathematical logic
Solicitud del documento
Nota: El envío del documento tiene costo.









Los documentos originales pueden ser consultados en el Departamento de Información y Servicios Documentales, ubicado en el Anexo de la Dirección General de Bibliotecas (DGB), circuito de la Investigación Científica a un costado del Auditorio Nabor Carrillo, zona de Institutos entre Física y Astronomía. Ciudad Universitaria UNAM. Ver mapa
Mayores informes: Departamento de Información y Servicios Documentales, Tels. (5255) 5622-3960, 5622-3964, e-mail: sinfo@dgb.unam.mx, Horario: Lunes a viernes (8 a 16 hrs.)