Математичка логика у рачунарству нов 3, 2022 | Електронска издања, Рачунарство ЈАНИЧИЋ, Предраг: Математичка логика у рачунарству, Математички факултет, Београд, 2005, електронско издање, бесплатно.