共 50 条
- [23] Computable versions of the Uniform Boundedness Theorem LOGIC COLLOQUIUM '02, 2006, 27 : 130 - 151
- [25] IMPROVED VERSIONS OF FORMS OF PLESSNERS THEOREM CANADIAN JOURNAL OF MATHEMATICS-JOURNAL CANADIEN DE MATHEMATIQUES, 1974, 26 (01): : 251 - 255
- [27] Advanced versions of the inverse function theorem STUDIA UNIVERSITATIS BABES-BOLYAI MATHEMATICA, 2022, 67 (02): : 259 - 284