Journal of Symbolic Logic

A conference, workshop or journal: the thing that recurs, across all its years.

The Association for Symbolic Logic's main research journal, published since 1936: model theory, set theory, recursion theory and proof theory. The venue where a good deal of what computer science later borrowed from logic first appeared.

https://www.cambridge.org/core/journals/journal-of-symbolic-logic

4 references