Logic for the million - Mander, A. E. (1947)