عنوان
پدید آورنده
موضوع
رده
QA9.65 .B64 1997
QA9
.
65
.
B64
1997
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
354057073X
NATIONAL BIBLIOGRAPHY NUMBER
Number
b423588
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
The classical decision problem /
General Material Designation
[Book]
First Statement of Responsibility
Egon Börger, Erich Grädel, Yuri Gurevich
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
xii, 482 pages :
Other Physical Details
illustrations ;
Dimensions
24 cm
SERIES
Series Title
Perspectives in mathematical logic
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Includes bibliographical references (pages[421]-476) and index
TOPICAL NAME USED AS SUBJECT
Decidability (Mathematical logic)
DEWEY DECIMAL CLASSIFICATION
Number
511
.
3
Edition
21
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA9
.
65
Book number
.
B64
1997
PERSONAL NAME - PRIMARY RESPONSIBILITY
Börger, E., (Egon),1946-
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
Grädel, Erich,1958-
Gurevich, Yuri
ORIGINATING SOURCE
Date of Transaction
19970318085230.0
Cataloguing Rules (Descriptive Conventions))
rda
ELECTRONIC LOCATION AND ACCESS
Electronic name
مطالعه متن کتاب [Book]
Y
