TY - BOOK AU - Лакатос,Имре TI - Доказательства и опровержения: Как доказываются теоремы PY - 1967/// CY - М. PB - Наука KW - математическая логика KW - доказательства KW - опровержения KW - теоремы N1 - Библиогр.: с. 146-151 ER -