Интуиционистская логика: различия между версиями
| [непроверенная версия] | [отпатрулированная версия] |
Содержимое удалено Содержимое добавлено
Mousy (обсуждение | вклад) дополнение |
Mousy (обсуждение | вклад) м →Правила вывода: интервики |
||
Строка 45:
[[Категория:Математическая логика]]
[[cs:Intuicionistická logika]]
[[en:Intuitionistic logic]]
[[fr:Logique intuitionniste]]
[[it:Logica intuizionista]]
[[ja:直観論理]]
[[pl:Logika intuicjonistyczna]]
[[pt:Lógica intuicionista]]
[[sv:Intuitionistisk logik]]
[[zh:直觉主义逻辑]]
| |||