1.

Record Nr.

UNINA990001221270403321

Autore

Ferrante, Jeanne

Titolo

The Computational Complexity of Logical Theories / by Ferrante J. Rackoff C.W.

Pubbl/distr/stampa

Berlin [etc.] : Springer-Verlag, 1

Collana

Lecture Notes in Mathematics ; 178

Locazione

MA1

Collocazione

C-20-(718

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia