Added link to Wikipedia page listing logic journals