عنوان

Formal systems and recursive functions /

0444534059

9780444534057

b777062

Formal systems and recursive functions /

[Book]

edited by J.N. Crossley and M.A.E. Dummett.

Amsterdam :

North-Holland,

1965.

1 online resource (v, 320 pages).

Studies in Logic and the Foundations of Mathematics ;

v. 40

Includes bibliographical references.

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.

0

Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002.

Elsevier Science & Technology

1093275:10878651

Formal systems and recursive functions.

Logic, Symbolic and mathematical, Congresses.

Recursive functions, Congresses.

Fonctions récursives.

Logique symbolique et mathématique.

Fonctions récursives-- Congrès.

Logic, Symbolic and mathematical.

Logique symbolique et mathématique-- Congrès.

Recursive functions.

Crossley, John N.

Dummett, Michael,1925-2011.

20201203101156.0

pn

[Book]

Y