Book:Journal/Journal of Symbolic Logic

Journal of Symbolic Logic

(J. Symb. Logic)
Archive on JSTOR

Publisher: Association for Symbolic Logic

Dates

Started publication: $1936$ (founded by Alonzo Church)

(current)

Featured Articles

• 1936: Alonzo Church: A Note on the Entscheidungsproblem ( Vol. 1, no. 1: pp. 40 – 41) (in which Church's Theorem is presented)  www.jstor.org/stable/2269326

• 1936: Emil L. Post: Finite Combinatory Processes – Formulation 1 ( Vol. 1: pp. 103 – 105)  www.jstor.org/stable/2269031

• 1937: Paul Bernays: A system of axiomatic set theory, Part I ( Vol. 2: pp. 65 – 77)  www.jstor.org/stable/2268862

• 1941: Paul Bernays: A system of axiomatic set theory, Part II ( Vol. 6: pp. 1 – 17)  www.jstor.org/stable/2267281

• 1942: Haskell B. Curry: The Combinatory Foundations of Mathematical Logic ( Vol. 7: pp. 49 – 64)  www.jstor.org/stable/2266302

• 1942: Paul Bernays: A system of axiomatic set theory, Part III ( Vol. 7: pp. 65 – 89)  www.jstor.org/stable/2266303

• 1942: Haskell B. Curry: The Inconsistency of Certain Formal Logics ( Vol. 7: pp. 115 – 117)  www.jstor.org/stable/2269292

• 1942: Paul Bernays: A system of axiomatic set theory, Part IV ( Vol. 7: pp. 133 – 145)  www.jstor.org/stable/2268110

• 1943: Paul Bernays: A system of axiomatic set theory, Part V ( Vol. 8: pp. 89 – 106)  www.jstor.org/stable/2271051

• 1948: J.C.C. McKinsey and Alfred Tarski: Some Theorems About the Sentential Calculi of Lewis and Heyting ( Vol. 13: pp. 1 – 15)  www.jstor.org/stable/2268135

• 1948: Paul Bernays: A system of axiomatic set theory, Part VI ( Vol. 13: pp. 65 – 79)  www.jstor.org/stable/2267328

• 1949: Leon Henkin: The Completeness of the First-Order Functional Calculus ( Vol. 14: pp. 159 – 166)  www.jstor.org/stable/2267044

• 1950: Leon Henkin: Completeness in the theory of types ( Vol. 15: pp. 81 – 91)  www.jstor.org/stable/2266967

• 1954: Paul Bernays: A system of axiomatic set theory, Part VII ( Vol. 19: pp. 81 – 96)  www.jstor.org/stable/2268864