50 969
contributi
m (Bot: Aggiungo: ru:Интуиционистское исчисление высказываний) |
m (Bot: Aggiungo: es:Lógica intuicionista) |
||
[[cs:Intuicionistická logika]]
[[en:Intuitionistic logic]]
[[es:Lógica intuicionista]]
[[fr:Logique intuitionniste]]
[[ja:直観論理]]
|
contributi