TY - BOOK TI - Algebraic theories U1 - 512 PY - 1959/// ER -