The Journal of Symbolic Logic aims to represent logic broadly, including its connections with mathematics and philosophy as well as newer aspects related to computer science and linguistics.
A continuous movement version of the Banach—Tarski paradox: A solution to de Groot's Problem
Trevor M. Wilson. (2005)