Formal Logic by Lorenzen, Paul