Intuicionistická logika: Porovnání verzí