Published package / CLIR
logic.temporal
v0.1.0The Open Logic Text
| Work | Number | Editions | Fragments |
|---|---|---|---|
| LTL и CTL: авторское изложение правил чтения | LOGIC-TEMPORAL-RESTATEMENT-1 | 1 | 10 |
| The Open Logic Text | The Open Logic Text (Open Logic Project), commit 1e960be | 4 | 4 |