Journal: | Notas de lógica matemática |
Database: | PERIÓDICA |
System number: | 000019303 |
ISSN: | 0078-2017 |
Authors: | Cardone, F1 De Liguoro, U Ciancaglini, M.D |
Institutions: | 1Universita degli Studi di Milano, Dipartimento Scienze Informazione, Milán, Lombardia. Italia |
Year: | 1994 |
Number: | 39 |
Pages: | 31-70 |
Country: | Argentina |
Language: | Inglés |
Document type: | Artículo |
Approach: | Analítico |
Disciplines: | Filosofía, Ciencias de la computación, Matemáticas |
Keyword: | Lógica, Programación, Matemáticas puras, Disciplinas, Lenguajes de programación |
Keyword: | Philosophy, Computer science, Mathematics, Logic, Programming, Pure mathematics, Disciplines, Programming languages |
Document request | |