RUSSIAN

Элементы математической логики

By Новиков П.С.

Book information

Publisher
Наука
Year
1973
Language
russian
Format
DJVU
Filesize
12 MB (12405739 bytes)
Series
Математическая логика и основания математики
Edition
2 исправленное
Pages
200\0
Topic
Mathematics Logic
Library
mexmat
Time added
2009-07-20 03:45:11

Description

Настоящее издание по содержанию не отличается от первого издания. В нем исправлены опечатки и заменены устаревшие термины. В частности, удален термин «истинная в данном исчислении формула», который в первом издании использовался как синоним термина «выводимая в данном исчислении формула». Таким образом, исключена возможность смешения этого понятия с содержательной истинностью формул.

Similar books