Bounded Variable Logics and Counting
A Study in Finite Models
Autor:
Martin Otto
Disponibilitate:
În depozitul extern
Expediem în 9-15 zile
845.53
lei
This study introduces some central ideas and lines of research in finite model theory, particularly...
