283 464
contributi
m (Bot: Aggiungo: pt:Lógica intuicionista) |
m (Bot: Aggiungo: ru:Интуиционистское исчисление высказываний) |
||
[[pl:Logika intuicjonistyczna]]
[[pt:Lógica intuicionista]]
[[ru:Интуиционистское исчисление высказываний]]
[[sv:Intuitionistisk logik]]
[[zh:直觉主义逻辑]]
|
contributi