On Constructive Interpretation of Predictive Mathematics (1990)

First published in 1990, this book consists of a detailed exposition of results of the theory of "in...