This volume contains six sets of notes for lectures on the foundations of geometry held by Hilbert in the period 1891-1902. It also reprints the first edition o

Contemporary philosophy of mathematics offers us an embarrassment of riches. Among the major areas of work one could list developments of the classical foundati

This book constitutes the thoroughly refereed post-workshop proceedings of the 9th International Workshop on Automated Deduction in Geometry, ADG 2012, held in

Gottlob Frege (1848–1925) was unquestionably one of the most important philosophers of all time. He trained as a mathematician, and his work in philosophy sta