Vai al contenuto principale della pagina

Logic and structure / Dirk van Dalen



(Visualizza in formato marc)    (Visualizza in BIBFRAME)

Autore: Dalen, Dirk van Visualizza persona
Titolo: Logic and structure / Dirk van Dalen Visualizza cluster
Pubblicazione: Berlin, : Springer, 2004
Edizione: 4. ed
Descrizione fisica: X, 263 p. ; 24 cm.
Soggetto topico: 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]
Titolo autorizzato: Logic and structure  Visualizza cluster
ISBN: 35-402-0879-8
Formato: Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione: Inglese
Record Nr.: SUN0060285
Lo trovi qui: Univ. Vanvitelli
Localizzazioni e accesso elettronico /sebina/repository/catalogazione/documenti/van Dalen - Logic and structure. 4th ed..pdf
Opac: Controlla la disponibilità qui
Serie: Universitext Berlin . -Springer.