Опубликованный пакет / CLIR
logic.syntax
v0.1.0The Open Logic Text
The Open Logic Text
| Редакция | Язык | События | Материализация |
|---|---|---|---|
| content/first-order-logic/syntax-and-semantics/first-order-languages.tex at commit 1e960be (master, 2026-08-14) | en | adopted · 2026-08-14 | PINNED_OFFICIAL_BYTES |
| content/first-order-logic/syntax-and-semantics/free-vars-sentences.tex at commit 1e960be (master, 2026-08-14) | en | adopted · 2026-08-14 | PINNED_OFFICIAL_BYTES |
| content/first-order-logic/syntax-and-semantics/main-operator.tex at commit 1e960be (master, 2026-08-14) | en | adopted · 2026-08-14 | PINNED_OFFICIAL_BYTES |
| content/first-order-logic/syntax-and-semantics/subformulas.tex at commit 1e960be (master, 2026-08-14) | en | adopted · 2026-08-14 | PINNED_OFFICIAL_BYTES |
| content/first-order-logic/syntax-and-semantics/substitution.tex at commit 1e960be (master, 2026-08-14) | en | adopted · 2026-08-14 | PINNED_OFFICIAL_BYTES |
| content/first-order-logic/syntax-and-semantics/terms-formulas.tex at commit 1e960be (master, 2026-08-14) | en | adopted · 2026-08-14 | PINNED_OFFICIAL_BYTES |
| content/first-order-logic/syntax-and-semantics/unique-readability.tex at commit 1e960be (master, 2026-08-14) | en | adopted · 2026-08-14 | PINNED_OFFICIAL_BYTES |
| content/normal-modal-logic/syntax-and-semantics/schemas.tex at commit 1e960be (master, 2026-08-14) | en | adopted · 2026-08-14 | PINNED_OFFICIAL_BYTES |
| content/propositional-logic/syntax-and-semantics/formulas.tex at commit 1e960be (master, 2026-08-14) | en | adopted · 2026-08-14 | PINNED_OFFICIAL_BYTES |
| content/propositional-logic/syntax-and-semantics/preliminaries.tex at commit 1e960be (master, 2026-08-14) | en | adopted · 2026-08-14 | PINNED_OFFICIAL_BYTES |
Ревизий внутри одного языка нет: у каждой языковой редакции этой работы единственная версия, сравнивать не с чем.
Замена акта
Не измеряется: no-edition-boundary.