Элементы математической логики
Новиков П.С.
Настоящее издание по содержанию не отличается от первого издания. В нем исправлены опечатки и заменены устаревшие термины. В частности, удален термин «истинная в данном исчислении формула», который в первом издании использовался как синоним термина «выводимая в данном исчислении формула». Таким образом, исключена возможность смешения этого понятия с содержательной истинностью формул.
Kategorien:
Jahr:
1973
Auflage:
2
Verlag:
Наука
Sprache:
russian
Seiten:
400
Serien:
Математическая логика и основания математики
Datei:
DJVU, 4.74 MB
IPFS:
,
russian, 1973
Litres
Möchten Sie Ihren Buchladen hinzufügen? Kontaktieren Sie uns unter support@z-lib.do
Konvertieren Sie Dateien
Mehr Suchergebnisse
Andere Vorteile 
![Идельсон А.В., Минц Г.Е. (ред.) — Математическая теория логического вывода [сборник переводов статей]](https://s3proxy.cdn-zlib.se/covers200/collections/genesis/1eebf89368c6f5ad9081ffa5a1993272e6ab65571b3f54d8037fa4b853c88c34.jpg)
