1. Abadi, M., Cardelli, L., Curien, P.L., Levy, J.J.: Explicit substitutions. J. Funct. Program. 1, 375–416 (1991)
2. Ackermann, W.: Review of Functional Logic without Axioms or Primitive Rules of Inference. Zentralblatt für Mathematik und ihre Grenzgebiete 29, 196 (1948)
3. Ackermann, W.: Review of On the Theory of Deduction, Part I. Zentralblatt für Mathematik und ihre Grenzgebiete 30, 3 (1949a)
4. Ackermann, W.: Review of On the Theory of Deduction, Part II. Zentralblatt für Mathematik und ihre Grenzgebiete 30, 101 (1949b)
5. Bernays, P.: Unpublished letter to K.R. Popper, March 12th 1947 (1947). Karl Popper-Sammlung, Universität Klagenfurt, Box 276, Folder 12. Translation by the authors