Out of the Labyrinth: Setting Mathematics Free You will find that this textbook has a companion website with extra resources.