Publication:4113814
From MaRDI portal
zbMath0345.02024MaRDI QIDQ4113814
Publication date: 1976
Full work available at URL: https://eudml.org/doc/66277
30C15: Zeros of polynomials, rational functions, and other analytic functions of one complex variable (e.g., zeros of functions with bounded Dirichlet integral)
03D60: Computability and recursion theory on ordinals, admissible sets, etc.
03F99: Proof theory and constructive mathematics
Related Items