Uniform inseparability in explicit mathematics (1999)

by A Cantini, P Minari
Venue:The Journal of Symbolic Logic