Revista: | Notas de lógica matemática |
Base de datos: | PERIÓDICA |
Número de sistema: | 000009065 |
ISSN: | 0078-2017 |
Autors: | Pigozzi, D1 Salibra, A |
Institucions: | 1Iowa State University, Department of Mathematics, Ames, Iowa. Estados Unidos de América |
Any: | 1993 |
Número: | 38 |
Paginació: | 93-112 |
País: | Argentina |
Idioma: | Inglés |
Tipo de documento: | Artículo |
Enfoque: | Analítico |
Disciplines | Filosofía, Matemáticas |
Paraules clau: | Lógica, Matemáticas puras, Algebra, Cálculo Lambda, Lógica matemática, Algebras cilindricas, Representacion-teoremas, Algebra-abstracción lambda |
Keyword: | Philosophy, Mathematics, Logic, Pure mathematics, Algebra, Lambda calculus, Mathematical logic, Cylindric algebras, Representation theorems, Lambda abstraction algebra |
Solicitud del documento | |