no. 1
The Weierstrass-Stone approximation theorem for p-adic C n -functions
Annales Mathématiques Blaise Pascal, Tome 1 (1994) no. 1, pp. 61-74. 
@article{AMBP_1994__1_1_61_0,
     author = {Araujo, Jes\'us and Schikhof, Wilhelm H.},
     title = {The Weierstrass-Stone approximation theorem for $p$-adic $C^n$-functions},
     journal = {Annales Math\'ematiques Blaise Pascal},
     pages = {61--74},
     publisher = {Laboratoires de Math\'ematiques Pures et Appliqu\'ees de l'Universit\'e Blaise Pascal},
     volume = {1},
     number = {1},
     year = {1994},
     zbl = {0821.26019},
     mrnumber = {1275217},
     language = {en},
     url = {www.numdam.org/item/AMBP_1994__1_1_61_0/}
}
Araujo, J.; Schikhof, Wim H. The Weierstrass-Stone approximation theorem for $p$-adic $C^n$-functions. Annales Mathématiques Blaise Pascal, Tome 1 (1994) no. 1, pp. 61-74. http://www.numdam.org/item/AMBP_1994__1_1_61_0/

[1] A.C.M. Van Rooij Non-Archimedean Functional Analysis. Marcel Dekker, New York, 1978. | MR 512894 | Zbl 0396.46061

[2] W.H. Schikhof: Non-Archimedean Calculus. Report 7812, Mathematisch Instituut, Katholieke Universiteit, Nijmegen, The Netherlands, 1978. | MR 522166 | Zbl 0463.26007

[3] W.H. Schikhof: Ultrametric Calculus. Cambridge University Press, 1982. | MR 791759 | Zbl 0553.26006