TY - BOOK AU - Лакатос,Имре AU - Веселовский,Иван Николаевич TI - Доказательства и опровержения: Как доказываются теоремы PY - 1967/// CY - Москва PB - Наука KW - Математическая логика KW - RKP KW - მათემატიკური ლოგიკა N1 - Библиогр.: с. 146-151 ER -