MIHIȘ, Andreea-Diana, and Mihaiela-Ana LUPEA. 2015. CLASSICAL LOGICS IN COMPUTER SCIENCE. Presa Universitară Clujeană. https://editura.ubbcluj.ro/index.php/puc/catalog/book/1674.