Per favore abilita javascript per usare il dizionario! Come abilitare javascript?
Heyting algebra▼(bounded lattice equipped with operation called implies)noun
↑