Ladislav Rieger

• Algebraic methods of mathematical logic