The Journal of Symbolic Logic

Venue Information

  • issn: 0022-4812 (print); 1943-5886 (online)
a service of Schloss Dagstuhl - Leibniz Center for Informatics