Biogram
摘要
Abstract algebraic logic, universal algebra, action theory, infinitistic methods in the theory of definitions, algebraic methods in set theory, methods of mathematical logic in number theory.