MIHIȘ, A.-D. and LUPEA, M.-A. (2015) CLASSICAL LOGICS IN COMPUTER SCIENCE. Presa Universitară Clujeană. Available at: https://editura.ubbcluj.ro/index.php/puc/catalog/book/1674 (Accessed: 17 March 2026).