1.

Record Nr.

UNISA990003229250203316

Autore

KEISLER, H. Jerome

Titolo

Model theory for infinitary logic : logic with countable conjunctions and finite quantifiers / H. Jerome Keisler

Pubbl/distr/stampa

Amsterdam : North-Holland, 1971

ISBN

0-7204-2258-2

Descrizione fisica

X, 208 p. : ill. ; 23 cm

Collana

Studies in logic and the foundations of mathematics ; 62

Disciplina

511.3

Soggetti

Logica matematica

Collocazione

510 SL 62

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia