TY - BOOK AU - Gabbay, Dov M AU - Woods, John TI - Handbook of the history of logic U1 - R 511.3 GAB-H PY - 2006/// CY - Amsterdam PB - Elsevier Publishing KW - Mathematical logic-- Mathematics ER -