Marija Boricic Joksimovic, Nebojsa Ikodinovic, Nenad Stojanovic: Probability and natural deduction. J. Log. Comput. 35(2) (2025)