عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
0821810782
NATIONAL BIBLIOGRAPHY NUMBER
Number
b397722
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Provability, complexity, grammars
General Material Designation
[Book]
First Statement of Responsibility
Lev Beklemishev, Mati Pentus, Nikolai Vereshchagin.
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Providence, RI :
Name of Publisher, Distributor, etc.
American Mathematical Society,
Date of Publication, Distribution, etc.
1999.
SERIES
Series Title
American Mathematical Society translations,
Volume Designation
ser. 2, v. 192
ISSN of Series
0065-9290 ;
GENERAL NOTES
Text of Note
Contains three doctoral dissertations in mathematical logic, mathematical linguistics, and complexity theory, translated from the Russian.
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Includes bibliographical references.
TOPICAL NAME USED AS SUBJECT
Computational complexity.
Mathematical linguistics.
Modality (Logic)
Proof theory.
PERSONAL NAME - PRIMARY RESPONSIBILITY
Beklemishev, Lev Dmitrievich,1967-
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
Pentus, Mati Reĭnovich,1967-
Vereshchagin, Nikolai Konstantinovich,1958-
CORPORATE BODY NAME - ALTERNATIVE RESPONSIBILITY
American Mathematical Society
ORIGINATING SOURCE
Date of Transaction
20170131000000.0
ELECTRONIC LOCATION AND ACCESS
Electronic name
مطالعه متن کتاب [Book]
Y
