Um sistema correto e completo para a logica proposicional classica
Document title: Um sistema correto e completo para a logica proposicional classica
Journal: Revista de ciencia & tecnologia
Database: PERIÓDICA
System number: 000182952
ISSN: 0103-8575
Authors: 1
Institutions: 1Universidade Metodista de Piracicaba, Piracicaba, Sao Paulo. Brasil
Year:
Season: Jun
Volumen: 8
Number: 15
Pages: 43-50
Country: Brasil
Language: Portugués
Document type: Artículo
Approach: Analítico
Disciplines: Matemáticas,
Filosofía
Keyword: 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
Document request
Note: The document is shipping cost.









Original documents can be consulted at the Departamento de Información y Servicios Documentales, located in the Annex to the General Directorate of Libraries (DGB), circuito de la Investigación Científica across from the Auditorium Nabor Carrillo, located between the Institutes of Physics and Astronomy. Ciudad Universitaria UNAM. Show map
For more information: Departamento de Información y Servicios Documentales, Tels. (5255) 5622-3960, 5622-3964. E-mail: sinfo@dgb.unam.mx . Monday to Friday from (8 to 16 hrs).