Book

Constructive theory of functions of several variables

by W. Schempp