A logical analysis of the generalized Banach contractions principle

Alexander P. Kreuzer. A logical analysis of the generalized Banach contractions principle. J. Logic & Analysis, 4, 2012. [doi]

Abstract

Abstract is missing.