Normal view
MARC view
Modelo, Teoría del (Temas (650))
Machine generated authority record
Work cat.: (OSt)156953: Libkin, Leonid 133449, Elements of finite model theory, c2004.