Journal of Symbolic Logic

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.

Most Read Articles


Some model theory of sheaves of modules

Mike Prest, et al. (2004)


Theories of presheaf type

Tibor Beke. (2004)


Patterns of paradox

Roy T. Cook. (2004)


Alerts Receive Email Alerts
Back to Top