SIMOVICI

• Introduction Theory Formal Languages Hb
• Logical Foundation Comp Sci (2v) Hb