Логика первого порядка. Формальное доказательство

Файли

Логіка першого порядку.pdf (190.81 KB)

Дата

2015-06-05

Автори

Власенко, Д.И.

Куринной, Г.Ч.

Невмержицкая, Е.Н.

Шугайло, Е.А.

Ключові слова

Research Subject Categories::MATHEMATICS::Algebra, geometry and mathematical analysis::Algebra and geometry

URI

https://ekhnuir.karazin.ua/handle/123456789/10626

Колекції

Навчальні видання. Факультет математики і інформатики

Повна інформація про документ
Google Scholar