Book:Journal/Journal of Symbolic Logic
Jump to navigation
Jump to search
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
- 1971: Thomas J. Jech: Trees (Vol. 36: pp. 1 – 14) www.jstor.org/stable/2271510