Lärobok i Den formella Logiken af JohanJacob