1. J. Barwise, “Infinitary Logics”, Modern Logic—A Survey, ed. E. Agazzi (Dordrecht, 1980 ), 93–112.
2. E.W. Beth, Review of [16], J. Sym. Logic 4 (1939), 25.
3. D.A. Bochvar, “über einen Aussagenkalkül...”, Mat. Sbornik n.s. 7 (1940), 65–100.
4. G. Boole, The Mathematical Analysis of Logic (London, 1847 ).
5. G. Boole, An Investigation of the Laws of Thought (London, 1854 ).