Formal systems and recursive functions

✍ Scribed by John N Crossley; Michael Dummett

• Publisher: North-Holland, Elsevier Science
• Year: 1965
• Tongue: English
• Leaves: 321
• Series: Studies in logic and the foundations of mathematics, v. 40
• Category: Library

✦ Table of Contents

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.