Labyrinth of Thought

Labyrinth of Thought discusses the emergence and development of set theory and the set-theoretic approach to mathematics during the period 1850-1940. particular attention is given to the interactions between axiomatic set theory and modern systems of formal logic, especially the interplay between set theory and type theory.