Разделы математической логики: различия между версиями
Материал из Wiki Mininuniver
Перейти к навигацииПерейти к поиску| (не показана 1 промежуточная версия этого же участника) | |||
| Строка 1: | Строка 1: | ||
[[Алгебра логики]] | [[Алгебра логики]] | ||
| + | |||
[[Логика высказываний]] | [[Логика высказываний]] | ||
| + | |||
| + | [[Теория доказательств]] | ||
| + | |||
| + | [[Теория моделей]] | ||
