Detlovs V., Podnieks K. Introduction to Mathematical Logic

• Файл формата pdf
• размером 1,17 МБ

• Добавлен пользователем nikibgd 30.01.2018 15:38
• Описание отредактировано 31.01.2018 02:02

Riga: University of Latvia, 2017. — 236 p.

Introduction. What Is Logic, Really?
Propositional Logic.
Predicate Logic.
Completeness Theorems (Model Theory).
Normal Forms. Resolution Method.
Miscellaneous.