Journal: | Notas de lógica matemática |
Database: | PERIÓDICA |
System number: | 000009065 |
ISSN: | 0078-2017 |
Authors: | Pigozzi, D1 Salibra, A |
Institutions: | 1Iowa State University, Department of Mathematics, Ames, Iowa. Estados Unidos de América |
Year: | 1993 |
Number: | 38 |
Pages: | 93-112 |
Country: | Argentina |
Language: | Inglés |
Document type: | Artículo |
Approach: | Analítico |
Disciplines: | Filosofía, Matemáticas |
Keyword: | 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 |
Document request | |