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