Нашли опечатку? Выделите ее мышкой и нажмите Ctrl+Enter
Название: Recursive Algebra, Analysis and Combinatorics. Volume 2
Авторы: Ershov Y.L., Marek V.M.
Recursive or Computable Mathematics is the study of the effective or computable content of the techniques and theorems of Mathematics. Recursive Mathematics has been an active area of research for the last 25 years. Its tools are the techniques of modern Computability Theory. These tools have been applied to analyze the effective content of results in a wide variety of mathematical fields including Algebra, Analysis, Topology, Combinatorics, Logic, Model Theory, Algebraic Topology, and Mathematical Physics.