~ following this thread ~
Logic books — OmList