• Home
  • Advanced Search
  • Directory of Libraries
  • About lib.ir
  • Contact Us
  • History

عنوان
Formal systems and recursive functions /

پدید آورنده
edited by J.N. Crossley and M.A.E. Dummett.

موضوع
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.

رده
QA9
.
615
.
F67
1965

کتابخانه
Center and Library of Islamic Studies in European Languages

محل استقرار
استان: Qom ـ شهر: Qom

Center and Library of Islamic Studies in European Languages

تماس با کتابخانه : 32910706-025

INTERNATIONAL STANDARD BOOK NUMBER

(Number (ISBN
0444534059
(Number (ISBN
9780444534057

NATIONAL BIBLIOGRAPHY NUMBER

Number
b777062

TITLE AND STATEMENT OF RESPONSIBILITY

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.

.PUBLICATION, DISTRIBUTION, ETC

Place of Publication, Distribution, etc.
Amsterdam :
Name of Publisher, Distributor, etc.
North-Holland,
Date of Publication, Distribution, etc.
1965.

PHYSICAL DESCRIPTION

Specific Material Designation and Extent of Item
1 online resource (v, 320 pages).

SERIES

Series Title
Studies in Logic and the Foundations of Mathematics ;
Volume Designation
v. 40

INTERNAL BIBLIOGRAPHIES/INDEXES NOTE

Text of Note
Includes bibliographical references.

CONTENTS NOTE

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

SYSTEM REQUIREMENTS NOTE (ELECTRONIC RESOURCES)

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.

ACQUISITION INFORMATION NOTE

Source for Acquisition/Subscription Address
Elsevier Science & Technology
Stock Number
1093275:10878651

OTHER EDITION IN ANOTHER MEDIUM

Title
Formal systems and recursive functions.

TOPICAL NAME USED AS SUBJECT

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.

DEWEY DECIMAL CLASSIFICATION

Number
511
.
3/52
Edition
22

LIBRARY OF CONGRESS CLASSIFICATION

Class number
QA9
.
615
Book number
.
F67
1965

PERSONAL NAME - ALTERNATIVE RESPONSIBILITY

Crossley, John N.
Dummett, Michael,1925-2011.

ORIGINATING SOURCE

Date of Transaction
20201203101156.0
Cataloguing Rules (Descriptive Conventions))
pn

ELECTRONIC LOCATION AND ACCESS

Electronic name
 مطالعه متن کتاب 

[Book]

Y

Proposal/Bug Report

Warning! Enter The Information Carefully
Send Cancel
This website is managed by Dar Al-Hadith Scientific-Cultural Institute and Computer Research Center of Islamic Sciences (also known as Noor)
Libraries are responsible for the validity of information, and the spiritual rights of information are reserved for them
Best Searcher - The 5th Digital Media Festival