1. Anellis, I.H. (1979), The Löwenheim-Skolem theorem, theories of quantification, and Beweistheorie (Abstract), Notices Amer. Math. Soc.
26, A–22.
2. Anellis, I.H. (1990a), From semantic tableaux to Smullyan trees: the history of the falsifiability tree method, Modem Logic
1, 36–69.
3. Anellis, I.H. (1990b), Forty years of unnatural natural deduction and quantification: a history of first-order systems of natural deduction, from Gentzen to Copi, preprint.
4. Fang, J. (1984), The most unnatural “natural deduction,” Contemp. Philos.
10, no. 3, 13–15.
5. Feferman, S. (1977), Review of Proof Theory by Gaisi Takeuti, Bull. Amer. Math. Soc. (1), 83, 351–361.