1.

Record Nr.

UNINA990001206020403321

Titolo

Mathematical Logic and Theoretical Computer Science / Edited by David W. Kueker, Edgar G.K . Lopez-Escobar, Carl H. Smith

Pubbl/distr/stampa

New York [etc.] : Marcel Dekker, 1987

Collana

Lecture notes in pure and applied mathematics ; 106

Locazione

MA1

Collocazione

C-7-(106

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia