Λογική & πληροφορική - Χαρτώνας, Χ. (Ζήτη, 2000)