Revista: | Notas de lógica matemática |
Base de datos: | PERIÓDICA |
Número de sistema: | 000019303 |
ISSN: | 0078-2017 |
Autors: | Cardone, F1 De Liguoro, U Ciancaglini, M.D |
Institucions: | 1Universita degli Studi di Milano, Dipartimento Scienze Informazione, Milán, Lombardia. Italia |
Any: | 1994 |
Número: | 39 |
Paginació: | 31-70 |
País: | Argentina |
Idioma: | Inglés |
Tipo de documento: | Artículo |
Enfoque: | Analítico |
Disciplines | Filosofía, Ciencias de la computación, Matemáticas |
Paraules clau: | Lógica, Programación, Matemáticas puras, Disciplinas, Lenguajes de programación |
Keyword: | Philosophy, Computer science, Mathematics, Logic, Programming, Pure mathematics, Disciplines, Programming languages |
Solicitud del documento | |