Элементы математической логики
Новиков П.С.
Настоящее издание по содержанию не отличается от первого издания. В нем исправлены опечатки и заменены устаревшие термины. В частности, удален термин «истинная в данном исчислении формула», который в первом издании использовался как синоним термина «выводимая в данном исчислении формула». Таким образом, исключена возможность смешения этого понятия с содержательной истинностью формул.
კატეგორია:
წელი:
1973
გამოცემა:
2
გამომცემლობა:
Наука
ენა:
russian
გვერდები:
400
სერია:
Математическая логика и основания математики
ფაილი:
DJVU, 4.74 MB
IPFS:
,
russian, 1973