Uvod u algebru matematičke logike - Vuković, Ante, matematičar (Element, 1999)