Stav dette: Algebraic methods of mathematical logic.