Cargando…
Bounded variable logics and counting: a study in finite models
This study introduces some central ideas and lines of research in finite model theory, particularly bounded variable infinitary logics.
| Autor principal: | |
|---|---|
| Lenguaje: | eng |
| Publicado: |
Cambridge University Press
2017
|
| Materias: | |
| Acceso en línea: | http://cds.cern.ch/record/2264009 |