Lärobok i Den formell » Logiken af JohanJacob