Βασική λογική : σύνολα δικτυωτά, προτασιακά και τροπικά συστήματα λογικής - Χαρτώνας , Χρυσάφης. (Ζήτη, 2000)
Άνω του τίτλου : Λογική & πληροφορική.