Formal systems and recursive functions
By: edited by J.N. Crossley and M.A.E. Dummett
Series: Studies in Logic and the Foundations of Mathematics -- v. 40; Studies in logic and the foundations of mathematics -- v. 40.
Publisher: North-Holland
Published: 1965
Place of publication: Amsterdam
Language: eng
Format: [electronic resource] /
Number of pages: 320
ISBN-13: 9780444534057
Subjects: Recursive functions; Congresses; Symbolic and mathematical Logic
Notes: Includes bibliographical references.

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