TY - BOOK AU - Депман, Иван Яковлевич TI - Первое знакомство с математической логикой [Текст] SN - PY - 1965///. CY - Ленинград : PB - [б. и.], KW - მათემატიკური ლოგიკა ER -