TY  - BOOK
AU  - Тарский,Альфред
AU  - Яновская,Софья Александровна
TI  - Введение в логику и методологию дедуктивных наук
PY  - 1948///
CY  - Москва
PB  - Издательство иностранной литературы
KW  - Логика, математическая
KW  - RuMoRGB
KW  - Математика - Методология
KW  - Математическая логика
KW  - RKP
KW  - Дедуктивный метод в науке
KW  - переменные (мат.)
KW  - исчисление высказываний
KW  - тождество, теория
KW  - классы предметов (мат.), теория
KW  - отношения (мат.), виды
KW  - дедуктивный метод
KW  - математические теории, применение логики
KW  - математические теории, применение методологии
KW  - математическая теория, построение
KW  - числа, порядковые законы
KW  - законы сложения и вычитания (мат.)
KW  - арифметика действительных чисел, построение теории
KW  - аксиомы математики
N1  - Библиогр. в подстроч. примеч
ER  -