TY  - BOOK
AU  - Рыжков А. Г. 
TI  - Формализированный и конструкторский подход к проблеме истинности в математической логике
SN  -   
PY  - 1964///
CY  - Саратов
PB  - издат.-во Сарат. ун-та.
KW  - მათემატიკური ლოგიკა
ER  -