Нашли опечатку? Выделите ее мышкой и нажмите Ctrl+Enter
Название: Handbook of Recursive Mathematics, Volume 1
Автор: Ershov Y.L.
Аннотация:
This volume consists of surveys and new results from many of the leading researchers in the field. Almost all of the major subfields of Recursive Mathematics are represented in the volume. There are contributions which analyze the effective content of results from Algebra, Analysis, Combinatorics, Orderings, Logic, Non-monotonic Logics, Topology and Model Theory.