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

عنوان
Computability : computable functions, logic, and the foundations of mathematics

پدید آورنده
by Richard L. Epstein and Walter A. Carnielli

موضوع
، Computable functions,، Logic, Symbolic and mathematical

رده
QA
9
.
59
.
E67
1989

کتابخانه
Library of Institute for Research in Fundamental Sciences

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

Library of Institute for Research in Fundamental Sciences

تماس با کتابخانه : 22291812-021

TITLE AND STATEMENT OF RESPONSIBILITY

Title Proper
Computability : computable functions, logic, and the foundations of mathematics
First Statement of Responsibility
by Richard L. Epstein and Walter A. Carnielli

.PUBLICATION, DISTRIBUTION, ETC

Place of Publication, Distribution, etc.
Pacific Grove
Name of Publisher, Distributor, etc.
Wadsworth & Books
Date of Publication, Distribution, etc.
c1989

PHYSICAL DESCRIPTION

Specific Material Designation and Extent of Item
xvii, 297p

GENERAL NOTES

Text of Note
Bibliography: p.271-278
Text of Note
ISBN: 0534103561

ORIGINAL VERSION NOTE

Text of Note
1

TOPICAL NAME USED AS SUBJECT

Entry Element
، Computable functions
Entry Element
، Logic, Symbolic and mathematical

LIBRARY OF CONGRESS CLASSIFICATION

Class number
QA
9
.
59
.
E67
1989

PERSONAL NAME - PRIMARY RESPONSIBILITY

Entry Element
Epstein, Richard L., 7491-
Relator Code
AU

AU Carnielli, Walter Alexandre
TI

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