Formal systems and recursive functions /
| Other Authors: | , |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Amsterdam :
North-Holland,
1965
|
| Series: | Studies in logic and the foundations of mathematics ;
v. 40 |
| Subjects: |
Table of Contents:
- 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