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