Journal: | Volumen de homenaje |
Database: | PERIÓDICA |
System number: | 000202231 |
ISSN: | 0328-2600 |
Authors: | Celani, Sergio1 |
Institutions: | 1Universidad Nacional del Centro de la Provincia de Buenos Aires, Facultad de Ciencias Exactas, Tandil, Buenos Aires. Argentina |
Year: | 2001 |
Number: | 8 |
Pages: | 105-117 |
Country: | Argentina |
Language: | Inglés |
Document type: | Artículo |
Approach: | Analítico |
Disciplines: | Matemáticas |
Keyword: | Matemáticas aplicadas, Matemáticas puras, Lógica, Lógica booleana, Bisimulación, Lógica modal, Teoría de modelos |
Keyword: | Mathematics, Applied mathematics, Pure mathematics, Logic, Boolean logic, Bisimulation, Modal logic, Model theory |
Document request | |