MIHIȘ AD, LUPEA MA. CLASSICAL LOGICS IN COMPUTER SCIENCE. Presa Universitară Clujeană; 2015. Accessed June 22, 2026. https://editura.ubbcluj.ro/index.php/puc/catalog/book/1674