Title: Petri Molinei Elementa logica