Основания математической логики

Книга американского ученого посвящена детальному изучению основных понятий математической логики на современном этапе. После детального обсуждения общеметодологических вопросов автор последовательно описывает исчисления, содержащие импликацию,

Жанры