The computational complexity of logical theories /

Bibliographic Details
Main Author: Ferrante, Jeanne, 1949-
Other Authors: Rackoff, Charles W., 1948-
Format: Book
Language:English
Published: Berlin ; New York : Springer-Verlag, 1979.
Series:Lecture notes in mathematics (Springer-Verlag) ; 718.
Subjects:

Remote Storage

Holdings details from Remote Storage
Call Number: QA3 .L28 no. 718
 
Call Number Status Get It
QA3 .L28 no. 718 Available