عنوان
پدید آورنده
موضوع
رده
QA9.63 .R69 1994
QA9
.
63
.
R69
1994
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
0132974258
(Number (ISBN
9780132974257
NATIONAL BIBLIOGRAPHY NUMBER
Number
dltt
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Cornerstones of undecidability /
General Material Designation
[Book]
First Statement of Responsibility
Grzegorz Rozenberg and Arto Salomaa
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
xvi, 197 pages :
Other Physical Details
illustrations ;
Dimensions
24 cm
SERIES
Series Title
Prentice Hall international series in computer science
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Includes bibliographical references (pages 193-194) and index
OTHER EDITION IN ANOTHER MEDIUM
Title
Cornerstones of undecidability.
TOPICAL NAME USED AS SUBJECT
Decidability (Mathematical logic)
Unsolvability (Mathematical logic)
équation diophantienne
indécidabilité
Logique
Mathematical logic
récursivité
théorie démonstration
DEWEY DECIMAL CLASSIFICATION
Number
511
.
3
Edition
20
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA9
.
63
Book number
.
R69
1994
PERSONAL NAME - PRIMARY RESPONSIBILITY
Rozenberg, Grzegorz
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
Salomaa, Arto
ORIGINATING SOURCE
Date of Transaction
20160712060253.0
ELECTRONIC LOCATION AND ACCESS
Electronic name
مطالعه متن کتاب [Book]
Y
