MIHIȘ, A.-D.; LUPEA, M.-A. CLASSICAL LOGICS IN COMPUTER SCIENCE; Presa Universitară Clujeană, 2015.