Lärobok i den formella logiken af JohanJacob