The computational complexity of logical theories / Jeanne Ferrante
Contributor(s): Resource type: Ressourcentyp: BuchBookLanguage: English Series: Lecture notes in mathematics ; 718Publisher: Berlin ; Heidelberg [u.a.] : Springer, 1979Description: X, 243 Seiten : DiagrammeISBN:- 3540095012
- 0387095012
- 510/.8 s 511/.3
- 510/.8
- s
- 511/.3
- 510/.8 s
- QA3
- QA9.35
| Item type | Home library | Shelving location | Call number | Status | Barcode | |
|---|---|---|---|---|---|---|
| Freihandbestand ausleihbar | Fachbibliothek Mathematik | Bibliothek / frei aufgestellt | Lect. notes / 718 | Available | 36280402090 |
Total holds: 0