Item Details

Provability, Complexity, Grammars

Lev Beklemishev, Mati Pentus, Nikolai Vereshchagin
Format
Book
Published
Providence, R.I. : American Mathematical Society, c1999.
Language
English
Russian (translated from)
Series
American Mathematical Society Translations
ISBN
0821810782 (handcover : alk. paper)
Description
ix, 172 p. : ill. ; 26 cm.
Notes
  • Contains three doctoral dissertations in mathematical logic, mathematical linguistics, and complexity theory, translated from the Russian.
  • Includes bibliographical references.
Series Statement
American Mathematical Society translations 0065-9290 ; ser. 2, v. 192
Technical Details
  • Access in Virgo Classic

  • LEADER 01505cam a2200409 a 4500
    001 u2929361
    003 SIRSI
    005 19990719141234.0
    008 990223s1999 riua b 000 0 eng
    010
      
      
    a| 99020177
    020
      
      
    a| 0821810782 (handcover : alk. paper)
    035
      
      
    a| (Sirsi) o40964733
    035
      
      
    a| (Sirsi) o40964733
    035
      
      
    a| (OCoLC)40964733
    040
      
      
    a| DLC c| DLC d| C#P
    041
    1
      
    a| eng h| rus
    049
      
      
    a| VA@@
    050
    0
    0
    a| QA3 b| .A572 ser. 2, vol. 192 a| QA9.46
    082
    0
    0
    a| 510 s a| 511.3 2| 21
    090
      
      
    a| QA1 b| .A526 ser.2 v.192
    100
    1
      
    a| Beklemishev, Lev Dmitrievich, d| 1967-
    245
    1
    0
    a| Provability, complexity, grammars / c| Lev Beklemishev, Mati Pentus, Nikolai Vereshchagin.
    260
      
      
    a| Providence, R.I. : b| American Mathematical Society, c| c1999.
    300
      
      
    a| ix, 172 p. : b| ill. ; c| 26 cm.
    440
      
    0
    a| American Mathematical Society translations x| 0065-9290 ; v| ser. 2, v. 192
    500
      
      
    a| Contains three doctoral dissertations in mathematical logic, mathematical linguistics, and complexity theory, translated from the Russian.
    504
      
      
    a| Includes bibliographical references.
    596
      
      
    a| 14
    650
      
    0
    a| Modality (Logic)
    650
      
    0
    a| Proof theory.
    650
      
    0
    a| Computational complexity.
    650
      
    0
    a| Mathematical linguistics.
    700
    1
      
    a| Pentus, Mati Reĭnovich, d| 1967-
    700
    1
      
    a| Vereshchagin, Nikolai Konstantinovich, d| 1958-
    994
      
      
    a| E0 b| VA@
    999
      
      
    a| QA1 .A526 ser.2 v.192 w| LCPER i| X004353014 l| BY-REQUEST m| IVY t| BOOK

Availability

Google Preview

Library Location Map Availability Call Number
Ivy By Request N/A Available