The Journal of Symbolic Logic, Volume 25

Volume 25, Number 1, March 1960

• H. Jerome Keisler: Theory of Models with Generalized Atomic Formulas. 1-26 BibTeX
• Ronald Harrop: Concerning Formulas of the Types A -->B V C, A --< (Ex)B(x). 27-32 BibTeX
• Joseph S. Ullian: Splinters of Recursive Functions. 33-38 BibTeX
• Robert L. Vaught: Sentences True in All Constructive Models. 39-53 BibTeX
• Theodore Hailperin: Corrections to a Theory of Restricted Quantification. 54-56 BibTeX
• David Nelson: Twenty-Fifth Annual Meeting of the Association for Symbolic Logic. 93-96 BibTeX

Volume 25, Number 2, June 1960

• William Craig: Bases for First-Order Theories and Subtheories. 97-142 BibTeX
• R. B. Angell: The Sentential Calculus Using Rule of Inference R_e. 143 BibTeX
• Nuel Belnap: Entailment and Relevance. 144-146 BibTeX
• Azriel Levy: A Generalization of Godel's Notion of Constructibility. 147-155 BibTeX

Volume 25, Number 3, September 1960

• L. Jonathan Cohen: A Formalisation of Referentially Opaque Contexts. 193-202 BibTeX
• Arto Salomaa: A Theorem Concerning the Composition of Functions of Several Variables Ranging Over a Finite Set. 203-208 BibTeX
• Alan Rose: An Extension of a Theorem of Margaris. 209-211 BibTeX
• Joseph D. Rutledge: On the Definition of an Infinitely-Many-Valued Predicate Calculus. 212-216 BibTeX
• Sherman K. Stein: Full Classes and Ordinals. 217-219 BibTeX
• Hilary Putnam: An Unsolvable Problem in Number Theory. 220-232 BibTeX
• Joseph R. Shoenfield: Degrees of Models. 233-237 BibTeX
• Hugues Leblanc: On Requirements for Conditional Probability Functions. 238-242 BibTeX

Volume 25, Number 4, December 1960

• Kurt Schutte: Syntactical and Semantical Properties of Simple Type Theory. 305-326 BibTeX
• Iwao Nishimura: On Formulas of One Variable in Intuitionistic Propositional Calculus. 327-331 BibTeX
• Nuel Belnap: Twenty-Sixth Annual Meeting of the Association for Symbolic Logic. 384-393 BibTeX