Um sistema correto e completo para a logica proposicional classica



Título del documento: Um sistema correto e completo para a logica proposicional classica
Revista: Revista de ciencia & tecnologia
Base de datos: PERIÓDICA
Número de sistema: 000182952
ISSN: 0103-8575
Autores: 1
Instituciones: 1Universidade Metodista de Piracicaba, Piracicaba, Sao Paulo. Brasil
Año:
Periodo: Jun
Volumen: 8
Número: 15
Paginación: 43-50
País: Brasil
Idioma: Portugués
Tipo de documento: Artículo
Enfoque: Analítico
Disciplinas: Matemáticas,
Filosofía
Palabras clave: Matemáticas puras,
Lógica,
Lógica proposicional clásica,
Completez,
Tablas analíticas
Keyword: Mathematics,
Philosophy,
Pure mathematics,
Logic,
Classical proposotional logic,
Correctness,
Completeness,
Analytic tables
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.)