TY - BOOK AU - Craig William TI - Logic in algebraic form : three language and theories SN - 0-7204-2272-8 U1 - 511.3 PY - 1974/// CY - London PB - North-Holland KW - Algebraic logic KW - Mathematical logic ER -