Research Catalog
The computational complexity of logical theories
- Title
- The computational complexity of logical theories / Jeanne Ferrante, Charles W. Rackoff.
- Author
- Ferrante, Jeanne, 1949-
- Publication
- Berlin ; New York : Springer-Verlag, 1979.
Items in the Library & Off-site
Filter by
1 Item
| Status | Vol/Date | Format | Access | Call Number | Item Location |
|---|---|---|---|---|---|
| no. 718-724, inc. | Book/text | Request in advance | JSM 95-200 | Offsite |
Details
- Additional Authors
- Rackoff, Charles W., 1948-
- Description
- x, 243 p. : ill.; 24 cm.
- Series Statement
- Lecture notes in mathematics ; \v. 718
- Uniform Title
- University of Arkansas lecture notes in mathematics ; \v. 718.
- Subject
- Note
- Includes index.
- Bibliography (note)
- Bibliography: p. [234]-238.
- Call Number
- JSM 95-200 no. 718
- ISBN
- 0387095012
- LCCN
- 79015338
- OCLC
- 5101638
- NYPG804238334-B
- Author
- Ferrante, Jeanne, 1949-
- Title
- The computational complexity of logical theories / Jeanne Ferrante, Charles W. Rackoff.
- Imprint
- Berlin ; New York : Springer-Verlag, 1979.
- Series
- Lecture notes in mathematics ; \v. 718University of Arkansas lecture notes in mathematics ; \v. 718.
- Bibliography
- Bibliography: p. [234]-238.
- Added Author
- Rackoff, Charles W., 1948-
- Research Call Number
- JSM 95-200 no. 718