Collating the methods of construction of the objects of 20th-century mathematics, this text is mainly concerned with a framework essentially equivalent to intui... » 

Collating the methods of construction of the objects of 20th-century mathematics, this text is mainly concerned with a framework essentially equivalent to intuitionistic Zermelo-Fraenkel logic. However, the book also looks forward to more subtle bases in categorical type theory. «