Formal systems and recursive functions

 Content: Some modal calculi based on IC / R.A. Bull --
 Logic of interrogatives / M.J. Cresswell --
 Some generalizations and applications of a relativization procedure for propositional calculi / Ronald Harrop --
 Method for producing reduction types in the restricted lower predicate calculus / H. Hermes, D. Rödding --
 Distributive normal forms in first-order logic / Jaakko Hintikka --
 Semantical analysis of intuitionistic logic I / Saul A. Kripke --
 Set theory and higher-order logic / Richard Montague --
 Existence in Lesniewski and in Russell / A.N. Prior --
 Functions and rogators / A. Sloman --
 Infinitely long terms of transfinite type / W.W. Tait --
 Constructive order types, I / John N. Crossley --
 Multiple successor arithmetics / R.L. Goodstein --
 Unsolvable problems in the theory of computable numbers / B.H. Mayoh --
 Predicative well-orderings / Kurt Schütte --
 Remarks on machines, sets, and the decision problem / Hao Wang.