TY - BOOK AU - Wraith, G.C. TI - Algebraic theories ER -