Formal Systems and Recursive Functions: Proceedings of the Eighth Logic Colloquium, Oxford, July 1963

Series......Page 1
Title......Page 2
Preface......Page 4
Part I: Formal Systems......Page 5
Some Modal Calculi based on IC, R.A. Bull......Page 6
The Logic of Interrogatives, M.J. Cresswell......Page 11
Some Generalizations and Applications of a Relativization Procedure for Propositional Calculi, Ronald Harrop......Page 15
A Method for Producing Reduction Types in the Restricted Lower Predicate Calculus, H. Hermes and D. Rödding......Page 45
Distributive Normal Forms in First-Order Logic, Jaakko Hintikka......Page 51
Semantical Analysis of Intuitionistic Logic I, Saul Kripke......Page 95
Set Theory and Higher-Order Logic, Richard Montague......Page 134
Existence in Lesniewśki and in Russell, A.N. Prior......Page 152
Functions and Rogators, A. Sloman......Page 159
Infinitely Long Terms of Transfinite Type, W.W. Tait......Page 179
Part II: Symposium on Recursive Functions......Page 189
Constructive Order Types, I, John N. Crossley......Page 190
Multiple Successor Arithmetics, R.L. Goodstein......Page 266
Unsolvable Problems in the Theory of Computable Numbers, B.H. Mayoh......Page 273
Predicative Well-Orderings, Kurt Schütte......Page 281
Remarks on Machines, Sets, and the Decision Problem, Hao Wang......Page 305