عنوان

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