Article,

Two kinds of fixed point theorems and reverse mathematics.

, and .
Math. Log. Q., 63 (5): 454-461 (2017)

Meta data

Tags

Users

  • @dblp

Comments and Reviews