Title: Logica Simbolica
First published: February 1992