Опубликованный пакет / CLIR
logic.intuitionistic
v0.1.0The Open Logic Text
| Работа | Номер | Редакций | Фрагментов |
|---|---|---|---|
| The Open Logic Text | The Open Logic Text (Open Logic Project), commit 1e960be | 8 | 8 |
Опубликованный пакет / CLIR
logic.intuitionisticThe Open Logic Text
| Работа | Номер | Редакций | Фрагментов |
|---|---|---|---|
| The Open Logic Text | The Open Logic Text (Open Logic Project), commit 1e960be | 8 | 8 |