The Review of Modern Logic is a journal of symbolic logic, foundations, the foundations of mathematics, and set theory.
From semantic tableaux to Smullyan trees: a history of the development of the falsifiability tree method
Irving H. Anellis. (1990)