1. Buss S.,Bounded Arithmetic; Bibliopolis, 1986.
2. Dedekind R. Stetigkeit und irrationale Zahlen; Braunschweig, 1872.
3. Dedekind R. Was sind und was sollen die Zahlen; Braunschweig, 1888.
4. Gödel K. Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I, Monatshefte für Mathematik und Physik 38 (1931), 173–198.
5. Gödel K., On undecidable propositions of formal mathematical systems; Lecture Notes, Princeton, 1934, reprinted in:The Undecidable (M. Davis, ed.), New York, 1965, 39–71.