MIHIȘ, Andreea-Diana; LUPEA, Mihaiela-Ana. CLASSICAL LOGICS IN COMPUTER SCIENCE. [s.l.] : Presa Universitară Clujeană,2015. Disponível em: https://editura.ubbcluj.ro/index.php/puc/catalog/book/1674. Acesso em: 17 mar. 2026.