1.

Record Nr.

UNICAMPANIASUN0060285

Autore

Dalen, Dirk van

Titolo

Logic and structure / Dirk van Dalen

Pubbl/distr/stampa

Berlin, : Springer, 2004

ISBN

35-402-0879-8

Edizione

[4. ed]

Descrizione fisica

X, 263 p. ; 24 cm.

Soggetti

03C07 - Basic properties of first-order languages and structures [MSC 2020]

03B10 - Classical first-order logic [MSC 2020]

03B16 - Higher-order logic [MSC 2020]

03F05 - Cut-elimination and normal-form theorems [MSC 2020]

03B38 - Type theory [MSC 2020]

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia