Zaslat SMS: Compendium Logicae Conimbricensi[s]