Algebrización de sistemas deductivos. La teoría de Blok-Pigozzi



Título del documento: Algebrización de sistemas deductivos. La teoría de Blok-Pigozzi
Revista: Volumen de homenaje
Base de datos: PERIÓDICA
Número de sistema: 000170620
ISSN: 0328-2600
Autores: 1
Instituciones: 1Pontificia Universidad Católica de Chile, Santiago de Chile. Chile
Año:
Número: 7
Paginación: 163-178
País: Argentina
Idioma: Español
Tipo de documento: Artículo
Enfoque: Analítico
Disciplinas: Matemáticas
Palabras clave: 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
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.)