Constructibility and Mathematical Existence

This book is concerned with the problem of existence in mathematics. It develops a mathematical system in which there are no existence assertions but only assertions of the constructibility of certain sorts of things.