The Journal of Symbolic Logic, Volume 6

Volume 6, Number 1, March 1941

• Paul Bernays:
  A System of Axiomatic Set Theory - Part II. 1-17
  
• Frederic Brenton Fitch:
  Closure and Quine's *101. 18-22
  
• George D. W. Berry:
  On Quine's Axioms of Quantification. 23-27
  

Volume 6, Number 2, June 1941

• Haskell B. Curry:
  A Revision of the Fundamental Rules of Combinatory Logic. 41-53
  
• Haskell B. Curry:
  Consistency and Completeness of the Theory of Combinators. 54-61
  

Volume 6, Number 3, September 1941

• Alfred Tarski:
  On the Calculus of Relations. 73-89
  
• Ray H. Dotterer:
  A Generalization of the Antilogism. 90-95
  
• J. Barkley Rosser:
  The Independence of Quine's Axioms *200 and *201. 96-97
  

Volume 6, Number 4, December 1941

• J. C. C. McKinsey:
  A Solution of the Decision Problem for the Lewis systems S2 and S4, with an Application to Topology. 117-134
  
• W. V. Quine:
  Element and Number. 135-149
  
• Nelson Goodman:
  Sequences. 150-153
  
• C. H. Langford:
  Note on a Device of Quine and Goodman. 154-155
  
• C. H. Langford:
  List of Officers and Members of the Association for Symbolic Logic. 174-178
  

Last update Tue Feb 14 04:21:04 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page