- Leon Henkin: A Generalization of the Concept of omega-Completeness. 1-14
- Ivo Thomas: Eulerian Syllogistic. 15-16
- Robert Blanche: Sur La Structuration du Tableau Des Connectifs Interpropositionnels Binaires. 17-18
- Theodore Hailperin: A Theory of Restricted Quantification I. 19-35
- Andrzej Ehrenfeucht: Two Theories with Axioms Built by Means of Pleonasms. 36-38
- Hilary Putnam: Decidability and Essential Undecidability. 39-54
- Raymond M. Smullyan: Languages in Which Self Reference is Possible. 55-67
- L. Gal: Twenty-First Annual Meeting of the Association for Symbolic Logic. 105-112

- Theodore Hailperin: A Theory of Restricted Quantification II. 113-129
- N. J. Fine, Ronald Harrop: Uniformization of Linear Arrays. 130-140
- Kurt Bing: On the Axioms of Order and Succession. 141-144
- Hao Wang: The Axiomatization of Arithmetic. 145-158
- Richard Friedberg: A Criterion for Completeness of Degrees of Unsolvability. 159-160
- Solomon Feferman: Degrees of Unsolvability Associated with Classes of Formalized Theories. 161-175
- E. J. Lemmon: New Foundations for Lewis Modal Systems. 176-186
- A. H. Lightstone, Abraham Robinson: On the Representation of Herbrand Functions in Algebraically Closed Fields. 187-204

- L. Jonathan Cohen: Can the Logic of Indirect Discourse be Formalised? 225-232
- Bernard K. Symonds, Roderick M. Chisholm: Inference by Complementary Elimination. 233-236
- Henryk Hiz: Inferential Equivalence and Natural Deduction. 237-240
- Alan Ross Anderson: Independent Axiom Schemata for Von Wright's M. 241-244
- K. Jaakko, Jaakko Hintikka: Vicious Circle Principle and the Paradoxes. 245-249
- William Craig: Linear Reasoning. A New Form of the Herbrand-Gentzen Theorem. 250-268
- William Craig: Three Uses of the Herbrand-Gentzen Theorem in Relating Model Theory and Proof Theory. 269-285

- Joyce Friedman: Some Results in Church's Restricted Recursive Arithmetic. 337-342
- Frederic Brenton Fitch: A Definition of Existence in Terms of Abstraction and Disjunction. 343-344
- Hugues Leblanc: On Logically False Evidence Statements. 345-349