| Document Type
|
:
|
BL
|
| Record Number
|
:
|
1022692
|
| Doc. No
|
:
|
b777062
|
| Title & Author
|
:
|
Formal systems and recursive functions /\ edited by J.N. Crossley and M.A.E. Dummett.
|
| Publication Statement
|
:
|
Amsterdam :: North-Holland,, 1965.
|
| Series Statement
|
:
|
Studies in Logic and the Foundations of Mathematics ;; v. 40
|
| Page. NO
|
:
|
1 online resource (v, 320 pages).
|
| ISBN
|
:
|
0444534059
|
|
|
:
|
: 9780444534057
|
| Bibliographies/Indexes
|
:
|
Includes bibliographical references.
|
| 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.
|
| Subject
|
:
|
Logic, Symbolic and mathematical, Congresses.
|
| Subject
|
:
|
Recursive functions, Congresses.
|
| Subject
|
:
|
Fonctions récursives.
|
| Subject
|
:
|
Logique symbolique et mathématique.
|
| Subject
|
:
|
Fonctions récursives-- Congrès.
|
| Subject
|
:
|
Logic, Symbolic and mathematical.
|
| Subject
|
:
|
Logique symbolique et mathématique-- Congrès.
|
| Subject
|
:
|
Recursive functions.
|
| Dewey Classification
|
:
|
511.3/52
|
| LC Classification
|
:
|
QA9.615.F67 1965
|
| Added Entry
|
:
|
Crossley, John N.
|
|
|
:
|
Dummett, Michael,1925-2011.
|