TY - BOOK AU - Boolos, George TI - An investigation of the laws of thought U1 - BC135 .B7 1951 PY - 1951/// CY - Mineola, NY PB - Dover Publications KW - Logic, Symbolic and mathematical ER -