Formal Logic - Lorenzen, Paul