שליחה במסרון: Set theory for computing : from decision procedures to declarative programming with sets / Domenico Cantone, Eugenio Omodeo, Alberto Policriti ; foreword by Jacob T. Schwatz.