The Review of Modern Logic is a journal of symbolic logic, foundations, the foundations of mathematics, and set theory.
History of logic and ``university'' philosophy in Russia. The view from Kazan
V. A. Bazhanov. (1994)
From semantic tableaux to Smullyan trees: a history of the development of the falsifiability tree method
Irving H. Anellis. (1990)