p.s. могут быть ошибки (точно есть в вопросе о теориях первого порядка, в вопросе о примерах перечислимых, но не отделимых разрешимыми, множеств)
technothecow/discrete-math-colloquium
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
| Name | Name | Last commit date | ||
|---|---|---|---|---|
p.s. могут быть ошибки (точно есть в вопросе о теориях первого порядка, в вопросе о примерах перечислимых, но не отделимых разрешимыми, множеств)