Lärobok i den formella Logiken af Johan Jacob Borelius.