Normal view MARC view

Libkin, Leonid (Autor Personal (100 - 700))

Number of records used in: 1
Preferred form: Libkin, Leonid

Machine generated authority record

Work cat.: (OSt)156953: Libkin, Leonid, Elements of finite model theory, c2004.