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