عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
9048152984
(Number (ISBN
9789048152988
NATIONAL BIBLIOGRAPHY NUMBER
Number
b539000
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Recursive functions and metamathematics :
General Material Designation
[Book]
Other Title Information
problems of completeness and decidability, Gödel's theorems
First Statement of Responsibility
Roman Murawski.
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Dordrecht ; London
Name of Publisher, Distributor, etc.
Springer
Date of Publication, Distribution, etc.
2011
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
1 volume ; 24 cm
SERIES
Series Title
Synthese library, v. 286
GENERAL NOTES
Text of Note
Originally published: 1999.
PARALLEL TITLE PROPER
Parallel Title
Funkcje rekurencyjne i elementy metamatematyki.
TOPICAL NAME USED AS SUBJECT
Decidability (Mathematical logic)
Gödel's theorem.
Recursive functions.
PERSONAL NAME - PRIMARY RESPONSIBILITY
Roman Murawski.
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
Roman Murawski
ELECTRONIC LOCATION AND ACCESS
Electronic name
مطالعه متن کتاب [Book]
Y
