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.

Detalles Bibliográficos
Autor principal: Otto, Martin
Lenguaje:eng
Publicado: Cambridge University Press 2017
Materias:
Acceso en línea:http://cds.cern.ch/record/2264009
Descripción
Sumario:This study introduces some central ideas and lines of research in finite model theory, particularly bounded variable infinitary logics.