Lärobok i den formella Logiken af JohanJacob