| Revue: | Volumen de homenaje |
| Base de datos: | PERIÓDICA |
| Número de sistema: | 000202231 |
| ISSN: | 0328-2600 |
| Autores: | Celani, Sergio1 |
| Instituciones: | 1Universidad Nacional del Centro de la Provincia de Buenos Aires, Facultad de Ciencias Exactas, Tandil, Buenos Aires. Argentina |
| Año: | 2001 |
| Número: | 8 |
| Paginación: | 105-117 |
| País: | Argentina |
| Idioma: | Inglés |
| Tipo de documento: | Artículo |
| Enfoque: | Analítico |
| Disciplinas: | Matemáticas |
| Palabras clave: | 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 |
| Solicitud del documento | |
