Journal of Symbolic Logic

E641944

academic journal logic journal

The Journal of Symbolic Logic is a leading peer-reviewed academic journal covering research in mathematical logic and its applications.

Try in SPARQL Jump to: Surface forms Statements Referenced by

All labels observed (2)

Label	Occurrences
Journal of Symbolic Logic canonical	1
The Journal of Symbolic Logic	1

Predicate	Object
instanceOf	academic journal ⓘ logic journal ⓘ
abbreviation	J. Symb. Log. NERFINISHED ⓘ JSL NERFINISHED ⓘ
associatedOrganization	Association for Symbolic Logic NERFINISHED ⓘ
associatedWith	Alan Turing NERFINISHED ⓘ Alfred Tarski NERFINISHED ⓘ Alonzo Church NERFINISHED ⓘ Kurt Gödel NERFINISHED ⓘ
countryOfPublication	United States of America ⓘ surface form: United States
covers	original research articles ⓘ reviews ⓘ survey articles ⓘ
discipline	logic ⓘ mathematics ⓘ philosophy ⓘ
eissn	1943-5886 ⓘ
field	foundations of mathematics ⓘ mathematical logic ⓘ model theory ⓘ philosophical logic ⓘ proof theory ⓘ recursion theory ⓘ set theory ⓘ theoretical computer science ⓘ
firstIssueYear	1936 ⓘ
format	online ⓘ print ⓘ
foundedIn	1936 ⓘ
hasCategory	Academic journals established in 1936 ⓘ Logic journals ⓘ Mathematics journals ⓘ
hasPublisherPartner	Cambridge University Press NERFINISHED ⓘ
hasWebsite	https://www.cambridge.org/core/journals/journal-of-symbolic-logic ⓘ
issn	0022-4812 ⓘ
language	English ⓘ
notableFor	historically influential papers in logic ⓘ research in mathematical logic ⓘ
peerReviewed	true ⓘ
publicationFrequency	quarterly ⓘ
publishedBy	Association for Symbolic Logic NERFINISHED ⓘ
publisher	Association for Symbolic Logic NERFINISHED ⓘ
targetAudience	mathematicians ⓘ philosophers ⓘ researchers in logic ⓘ theoretical computer scientists ⓘ

Full triples — surface form annotated when it differs from this entity's canonical label.

Association for Symbolic Logic → publishes → Journal of Symbolic Logic ⓘ

this entity surface form: The Journal of Symbolic Logic