The Journal of Symbolic Logic, Volume 24

Volume 24, Number 1, March 1959

• Saul Kripke: A Completeness Theorem in Modal Logic. 1-14 BibTeX
• William W. Tait: A Counterexample to a Conjecture of Scott and Suppes. 15-16 BibTeX
• B. Dunham, R. Fridshal: The Problem of Simplifying Logical Expressions. 17-19 BibTeX
• Toshio Umezawa: On Intermediate Propositional Logics. 20-36 BibTeX
• Paul Lorenzen, John R. Myhill: Constructive Definition of Certain Analytic Sets of Numbers. 37-49 BibTeX

Volume 24, Number 2, June 1959

• Michael Dummett: A Propositional Calculus with Denumerable Matrix. 97-106 BibTeX
• Alan Ross Anderson, Nuel Belnap: Modalities in Ackermann's "Rigorous Implication". 107-111 BibTeX
• Heinrich Behmann: Der Pradikatenkalkul mit Limitierten Variablen Grundlegung Einer Naturlichen Exakten Logik. 112-140 BibTeX
• Toshio Umezawa: On Logics Intermediate between Intuitionistic and Classical Predicate Logic. 141-153 BibTeX
• Azriel Levy: On Ackermann's Set Theory. 154-166 BibTeX

Volume 24, Number 3, September 1959

• Henryk Hiz: Extendible Sentential Calculus. 193-202 BibTeX
• Hugo Ribeiro: Summer Meeting of the Association for Symbolic Logic. 281-286 BibTeX

Volume 24, Number 4, December 1959

• Robin O. Gandy: On the Axiom of Extensionality, Part II. 287-300 BibTeX
• Alan Ross Anderson, Nuel Belnap: A Simple Treatment of Truth Functions. 301-302 BibTeX
• Trenchard More Jr.: On the Construction of Venn Diagrams. 303-304 BibTeX
• Ivo Thomas, Don Orth: Axioms for the "Gergonne"-Relations. 305 BibTeX
• K. I. Appel: Horn Sentences in Identity Theory. 306-310 BibTeX
• Yoshindo Suzuki: Enumeration of Recursive Sets. 311 BibTeX
• Alan Ross Anderson: Twenty-Fourth Annual Meeting of the Association for Symbolic Logic. 312-326 BibTeX