RUSSIAN

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

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

Book information

Publisher
Наука
Year
1973
Language
russian
Format
DJVU
Filesize
5 MB (5610619 bytes)
Series
Математическая логика и основания математики
Edition
2
Pages
400\400
Topic
Mathematics Logic
Library
infanata.com
Time added
2010-10-13 10:14:08

Description

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

Similar books