Article,

A General Constructive Intermediate Value Theorem.

.
Math. Log. Q., 35 (5): 433-435 (1989)

Meta data

Tags

Users

  • @dblp

Comments and Reviews