Image from Amazon.com
Lecture Notes in Mathematics ( 718 ): The Computational Complexity of Logical Theories / by Jeanne Ferrante
Material type:
TextLanguage: English Publication details: Berlin: Springer-Verlag: 1979. Description: x, 243pISBN: 3540095012DDC classification: 511.3
| Item type | Current library | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
Books
|
NBHM LIBRARY General Stacks | Available | MAT/5771 | ||
|
Books
|
PROF. BHUBANESWAR BEHERA CENTRAL LIBRARY Reference | 511.3 FER/L (Browse shelf(Opens below)) | Available | 51283 |
Browsing PROF. BHUBANESWAR BEHERA CENTRAL LIBRARY shelves, Shelving location: Reference Close shelf browser (Hides shelf browser)
|
|
No cover image available |
|
|
|
No cover image available | ||
| 511.1 ROS/D Discrete mathematics & its applications : With combinatorics and graph theory | 511.1 SAT/D Discrete mathematics and graph theory | 511.3 DOL/C Cabal Seminar 76-77 | 511.3 FER/L Lecture Notes in Mathematics ( 718 ): The Computational Complexity of Logical Theories | 511.3 JOH/E Elements of logic via numbers and sets | 511.3 KOL/D Discrete Mathematical structure | 511.3 KOL/D Discrete mathematical structures |
There are no comments on this title.