The Review of Modern Logic is a journal of symbolic logic, foundations, the foundations of mathematics, and set theory.
Studies in the nineteenth-century history of algebraic logic and universal algebra: a secondary bibliography
Irving H. Anellis. (1995)
Review: The Essential Turing: Seminal Writings in Computing, Logic, Philosophy, Artificial Ingelligence, and Artificial Life plus The Secrets of Enigma, by Alan M. Turing (author) and B. Jack Copeland (editor)
John W. Dawson, Jr.. (2007)
