The fundamental texts of the great classical period in modern logic, some of them never before available in English translation, are here gathered together for

First English translation of revolutionary paper (1931) that established that even in elementary parts of arithmetic, there are propositions which cannot be pro

This anthology reviews the programmes in the foundations of mathematics from the classical period and assesses their possible relevance for contemporary philoso