Admissible closures of polynomial time computable arithmetic

From MaRDI portal
Publication:634777