Logica sive Ars Cogitandi.