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.
Jean-Baptiste Joinet, et al. (2002)
Patrick Caldon, et al. (2005)
Olivier Lessmann. (2005)
Jesper Carlström. (2005)
Maria Emilia Maietti, et al. (2004)