1. A History of Formal Logic. Chelsea Publ. Comp., New York 1970. (First edition 1956).
2. Formal Logic. Taylor and Walton, London 1947. (Reprinted 1926).
3. Synthese Libr;Fenstad,1980
4. Semantical Investigations in Heyting's Intuitionistic Logic. D. Reidel Publ. Comp., Dordrecht 1981.