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