MIHIȘ A-D, LUPEA M-A. CLASSICAL LOGICS IN COMPUTER SCIENCE [Internet]. Presa Universitară Clujeană; 2015 [cited 2026 Jun. 22]. Available from: https://editura.ubbcluj.ro/index.php/puc/catalog/book/1674