Algebrización de sistemas deductivos. La teoría de Blok-Pigozzi
Document title: Algebrización de sistemas deductivos. La teoría de Blok-Pigozzi
Journal: Volumen de homenaje
Database: PERIÓDICA
System number: 000170620
ISSN: 0328-2600
Authors: 1
Institutions: 1Pontificia Universidad Católica de Chile, Santiago de Chile. Chile
Year:
Number: 7
Pages: 163-178
Country: Argentina
Language: Español
Document type: Artículo
Approach: Analítico
Disciplines: Matemáticas
Keyword: Matemáticas puras,
Lógica ecuacional,
Sistemas deductivos,
Algebrización,
Teoría de Blok-Pigozzi,
Semántica
Keyword: Mathematics,
Pure mathematics,
Equational logic,
Deductive systems,
Algebrization,
Blok-Pigozzi theory,
Semantics
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).