Cover is for reference only

Formal systems and recursive functions /

Saved in:
Bibliographic Details
Corporate Authors: Elsevier Science & Technology.
Group Author: Crossley, John N. (Editor); Dummett, Michael, 1925-2011. (Editor)
Published: North-Holland,
Publisher Address: Amsterdam :
Publication Dates: 1965.
Literature type: eBook
Language: English
Series: Studies in Logic and the Foundations of Mathematics ; v. 40
Subjects:
Recursive functions > Congresses.
Logic, Symbolic and mathematical > Congresses.
Fonctions re cursives.
Logique symbolique et mathe matique.
Logic, Symbolic and mathematical.
Recursive functions.
Fonctions re cursives > Congre s.
Logique symbolique et mathe matique > Congre s.
Electronic books.
Conference papers and proceedings.
Online Access: http://www.sciencedirect.com/science/bookseries/0049237X/40
Carrier Form: 1 online resource (v, 320 pages).
Bibliography: Includes bibliographical references.
ISBN: 9780444534057
0444534059
Index Number: QA9
CLC: O141.3
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. Ro 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 Schu tte -- Remarks on machines, sets, and the decision problem / Hao Wang.

Related Book Recommendations