Main Конспект лекций по математической логике (2 глава)
Конспект лекций по математической логике (2 глава) cover

Конспект лекций по математической логике (2 глава)

4.0 / 5.0
0 comments
Конспект лекций по математической логике. - Минск, БГПУ им. М. Танка, 2004, 10 с.Понятие формальной аксиоматической теорииПонятия формальной выводимости и формального доказательстваОпределение формальной аксиоматической теории L логики высказыванийТеорема дедукцииПолнота исчисления высказыванийНепротиворечивость исчисления высказыванийНезависимость системы аксиом теории L
Request Code : ZLIBIO1972724
Categories:
Year:
2022
Language:
Russian

Comments of this book

There are no comments yet.