Lehrbuch der förmäten Logik von G.