Vai al contenuto principale della pagina

1: Dimostrazioni e modelli al primo ordine / Vito Michele Abrusci, Lorenzo Tortora de Falco



(Visualizza in formato marc)    (Visualizza in BIBFRAME)

Autore: Abrusci, Vito M. Visualizza persona
Titolo: 1: Dimostrazioni e modelli al primo ordine / Vito Michele Abrusci, Lorenzo Tortora de Falco Visualizza cluster
Pubblicazione: IX, 190 p. ; 24 cm
Edizione: Milano : Springer, 2014
Descrizione fisica: Pubblicazione in formato elettronico
Soggetto topico: 03C07 - Basic properties of first-order languages and structures [MSC 2020]
03B10 - Classical first-order logic [MSC 2020]
03F05 - Cut-elimination and normal-form theorems [MSC 2020]
Altri autori: Tortora de Falco, Lorenzo  
Titolo autorizzato: Dimostrazioni e modelli al primo ordine  Visualizza cluster
Formato: Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione: Italiano
Record Nr.: SUN0102494
Lo trovi qui: Univ. Vanvitelli
Localizzazioni e accesso elettronico http://dx.doi.org/10.1007/978-88-470-5538-4
Opac: Controlla la disponibilità qui
Serie: Unitext . La matematica per il 3+2 ; 80 Milano . -Springer.
Fa parte di: Logica / Vito Michele Abrusci, Lorenzo Tortora de Falco ; 1 Milano . -Springer , 2014-2018 volumi , 24 cm.