Logic For The Million by T. Sharper 1867-1947 Knowlson