Вікіпедія

Числення секвенцій: відмінності між версіями

Інтерактивний перегляд історії
[неперевірена версія][неперевірена версія]
← Попереднє редагуванняНаступне редагування →
Вилучено вміст Додано вміст
ВізуальнийВікірозмітка
IvanBot (обговорення | внесок)
Боти
238 646 редагувань
м →‎Термінологія: replaced: звяз → зв'яз
Addbot (обговорення | внесок)
Боти
140 524 редагування
м Вилучення 7 інтервікі, відтепер доступних на Вікіданих: d:q1771121
Рядок 152:
 
[[Категорія:Математична логіка]]
 
[[de:Sequenzenkalkül]]
[[en:Sequent calculus]]
[[eo:Sekvaĵa kalkulo]]
[[fr:Calcul des séquents]]
[[ja:シークエント計算]]
[[pl:Sekwenty Gentzena]]
[[zh:相继式演算]]
Отримано з https://uk.wikipedia.org/wiki/Числення_секвенцій