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