Опубликованный пакет / CLIR
logic.intuitionistic
v0.1.0The Open Logic Text
The Open Logic Text
| Редакция | Язык | События | Материализация |
|---|---|---|---|
| content/intuitionistic-logic/introduction/axiomatic-derivations.tex at commit 1e960be (master, 2026-08-14) | en | adopted · 2026-08-14 | PINNED_OFFICIAL_BYTES |
| content/intuitionistic-logic/introduction/bhk-interpretation.tex at commit 1e960be (master, 2026-08-14) | en | adopted · 2026-08-14 | PINNED_OFFICIAL_BYTES |
| content/intuitionistic-logic/introduction/constructive-reasoning.tex at commit 1e960be (master, 2026-08-14) | en | adopted · 2026-08-14 | PINNED_OFFICIAL_BYTES |
| content/intuitionistic-logic/introduction/syntax.tex at commit 1e960be (master, 2026-08-14) | en | adopted · 2026-08-14 | PINNED_OFFICIAL_BYTES |
| content/intuitionistic-logic/semantics/relational-models.tex at commit 1e960be (master, 2026-08-14) | en | adopted · 2026-08-14 | PINNED_OFFICIAL_BYTES |
| content/intuitionistic-logic/semantics/semantic-notions.tex at commit 1e960be (master, 2026-08-14) | en | adopted · 2026-08-14 | PINNED_OFFICIAL_BYTES |
| content/intuitionistic-logic/soundness-completeness/completeness-thm.tex at commit 1e960be (master, 2026-08-14) | en | adopted · 2026-08-14 | PINNED_OFFICIAL_BYTES |
| content/intuitionistic-logic/soundness-completeness/soundness-nd.tex at commit 1e960be (master, 2026-08-14) | en | adopted · 2026-08-14 | PINNED_OFFICIAL_BYTES |
Ревизий внутри одного языка нет: у каждой языковой редакции этой работы единственная версия, сравнивать не с чем.
Замена акта
Не измеряется: no-edition-boundary.