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