Λογική: τυπική λογική - Φιλίππου, Αθηνά ([χ. ό.], 1983)