عنوان

Formal systems and recursive functions /

(Number (ISBN

0444534059

(Number (ISBN

9780444534057

Number

b777062

Title Proper

Formal systems and recursive functions /

General Material Designation

[Book]

First Statement of Responsibility

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

Place of Publication, Distribution, etc.

Amsterdam :

Name of Publisher, Distributor, etc.

North-Holland,

Date of Publication, Distribution, etc.

1965.

Specific Material Designation and Extent of Item

1 online resource (v, 320 pages).

Series Title

Studies in Logic and the Foundations of Mathematics ;

Volume Designation

v. 40

Text of Note

Includes bibliographical references.

Text of Note

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

Text of Note

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.

Source for Acquisition/Subscription Address

Elsevier Science & Technology

Stock Number

1093275:10878651

Title

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.

Number

Edition

Class number

Book number

Crossley, John N.

Dummett, Michael,1925-2011.

Date of Transaction

20201203101156.0

Cataloguing Rules (Descriptive Conventions))

pn

Electronic name

[Book]

Y