The Computational Complexity of Logical Theories XJMJTP4W25
| URI | m2://res/XJMJTP4W25 |
|---|---|
| Kind | monograph |
| Creators | Jeanne Ferrante, Charles W. Rackoff |
| Date | 1979 |
| MSC | 03D15, 03B25, 03D10, 03-02 |
| Scope | in |
Expressions
e1: edition
| Language | en |
|---|---|
| Date | 1979 |
| Ids | DOI 10.1007/bfb0062837, zbl 0404.03028, zbl_id 3627150 |
- m1: print, Springer Berlin Heidelberg, 1979 (record). isbn 9783540095019, isbn 9783540351979
Relations
- part_of Lecture Notes in Mathematics
Cited by
- Logical Number Theory I
- Model Theory and Arithmetic: Comptes Rendus d'une Action Thématique Programmée du C.N.R.S. sur la Théorie des Modèles et l'Arithmétique, Paris, France, 1979/80
Catalogue records
- springer-series: 10.1007/bfb0062837 (work)
- zbmath_search: 3627150 (work)