TY - BOOK AU - Депман И.Я. ED - Общество "Знание" РСФСР TI - Первое знакомство с математической логикой PY - 1963/// CY - Ленинград PB - Б. и. KW - Математическая логика KW - მათემატიკური ლოგიკა N1 - Библиогр. в примеч ER -