Формальные аксиоматические теории. Исчисление предикатов. Часть 2 Ч. 2 Формальные аксиоматические теории. Исчисление предикатов. Часть 2
Учебно-методическое пособие подготовлено на кафедре вычислительной математики и прикладных информационных технологий факультета прикладной математики, информатики и механики Воронежского государственного университета. Рекомендовано для студентов факультета прикладной математики, информатики и механи...
保存先:
| 第一著者: | |
|---|---|
| フォーマット: | Книга |
| 言語: | Russian |
| 出版事項: |
Воронеж
ВГУ
2020
|
| 主題: | |
| オンライン･アクセス: | https://e.lanbook.com/book/433148 https://e.lanbook.com/img/cover/book/433148.jpg |
| タグ: |
タグ追加
タグなし, このレコードへの初めてのタグを付けませんか!
|