这本书从现代的建设性角度介绍了数学（代数）和理论计算机科学的基础。它收集了二十世纪数学对象的构造方法。