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