1. Cohen, P.J.: Set Theory and the Continuum Hypothesis. W.A. Benjamin, New York (1966)
2. Kolmogorov, A.: On the principle of the excluded middle. Mat. Sb. 32, 646–667 (1925)
3. Gödel, K.: Zur intuitionistischen arithmetik und zahlentheorie. Ergebnisse Eines Mathematischen Kolloquiums 4, 34–38 (1933)
4. Gentzen, G.: Die widerspruchsfreiheit der reinen zahlentheorie. Mathematische Annalen 112, 493–565 (1936)
5. Schwichtenberg, H., Senjak, C.: Minimal from classical proofs. Annals of Pure and Applied Logic 164, 740–748 (2013)