TY  - BOOK
AU  - Грошев, А. В.
AU  - Скуридин В. П.
ED  -  М-во высш. и сред. спец. образования РСФСР. Уральский политехн. ин-т им. С. М. Кирова.
TI  - Введение в математическую логику и её технические приложения [Текст] : : Учеб. пособие / 
SN  -    
PY  - 1964///.
CY  - Свердловск : 
PB  -  [б. и.], 
KW  - მათემატიკური ლოგიკა და მისი ტექნიკური პროგრამები
ER  -