Volume 24, Number 1, March 1959

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

Volume 24, Number 2, June 1959

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

Volume 24, Number 3, September 1959

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

Volume 24, Number 4, December 1959

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

last updated on Thu May 23 04:30:00 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page