top

  Info

  • Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.
1: Dimostrazioni e modelli al primo ordine / Vito Michele Abrusci, Lorenzo Tortora de Falco
1: Dimostrazioni e modelli al primo ordine / Vito Michele Abrusci, Lorenzo Tortora de Falco
Autore Abrusci, Vito M.
Edizione [Milano : Springer, 2014]
Descrizione fisica Pubblicazione in formato elettronico
Altri autori (Persone) Tortora de Falco, Lorenzo
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]
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione ita
Record Nr. UNICAMPANIA-SUN0102494
Abrusci, Vito M.  
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
2: Incompletezza, teoria assiomatica degli insiemi / Vito Michele Abrusci, Lorenzo Tortora de Falco
2: Incompletezza, teoria assiomatica degli insiemi / Vito Michele Abrusci, Lorenzo Tortora de Falco
Autore Abrusci, Vito M.
Edizione [Milano : Springer, 2018]
Descrizione fisica Pubblicazione in formato elettronico
Altri autori (Persone) Tortora de Falco, Lorenzo
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione ita
Record Nr. UNICAMPANIA-SUN0125092
Abrusci, Vito M.  
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Logica / Vito Michele Abrusci, Lorenzo Tortora de Falco
Logica / Vito Michele Abrusci, Lorenzo Tortora de Falco
Autore Abrusci, Vito M.
Pubbl/distr/stampa Milano, : Springer, 2014-2018
Descrizione fisica volumi ; 24 cm.
Altri autori (Persone) Tortora de Falco, Lorenzo
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione ita
Record Nr. UNICAMPANIA-SUN0102493
Abrusci, Vito M.  
Milano, : Springer, 2014-2018
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Logica / Vito Michele Abrusci, Lorenzo Tortora de Falco
Logica / Vito Michele Abrusci, Lorenzo Tortora de Falco
Autore Abrusci, Vito M.
Pubbl/distr/stampa Milano, : Springer, 2014-2018
Descrizione fisica volumi ; 24 cm
Altri autori (Persone) Tortora de Falco, Lorenzo
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione ita
Titolo uniforme
Record Nr. UNICAMPANIA-VAN0102493
Abrusci, Vito M.  
Milano, : Springer, 2014-2018
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Logica : lezioni di primo livello / Vito Michele Abrusci
Logica : lezioni di primo livello / Vito Michele Abrusci
Autore Abrusci, Vito M.
Edizione [2. ed]
Pubbl/distr/stampa Padova, : CEDAM, 2012
Descrizione fisica XIII, 261 p. ; 24 cm.
Soggetto topico 03-XX - Mathematical logic and foundations [MSC 2020]
ISBN 978-88-13-33138-2
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione ita
Record Nr. UNICAMPANIA-SUN0094227
Abrusci, Vito M.  
Padova, : CEDAM, 2012
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Logica : lezioni di primo livello / Vito Michele Abrusci
Logica : lezioni di primo livello / Vito Michele Abrusci
Autore Abrusci, Vito M.
Edizione [2. ed]
Pubbl/distr/stampa Padova, : CEDAM, 2012
Descrizione fisica XIII, 261 p. ; 24 cm
Soggetto topico 03-XX - Mathematical logic and foundations [MSC 2020]
ISBN 978-88-13-33138-2
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione ita
Record Nr. UNICAMPANIA-VAN0094227
Abrusci, Vito M.  
Padova, : CEDAM, 2012
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Vol. 1: Dimostrazioni e modelli al primo ordine / Vito Michele Abrusci, Lorenzo Tortora de Falco
Vol. 1: Dimostrazioni e modelli al primo ordine / Vito Michele Abrusci, Lorenzo Tortora de Falco
Autore Abrusci, Vito M.
Pubbl/distr/stampa Milano, : Springer, 2014
Descrizione fisica IX, 190 p. ; 24 cm
Altri autori (Persone) Tortora de Falco, Lorenzo
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]
Soggetto non controllato Funzioni ricorsive
Logica del primo ordine
Teorema di eliminazione del taglio
Teoremi di incompletezza
Teoria assiomatica degli insiemi
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione ita
Titolo uniforme
Record Nr. UNICAMPANIA-VAN0102494
Abrusci, Vito M.  
Milano, : Springer, 2014
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Vol. 2: Incompletezza, teoria assiomatica degli insiemi / Vito Michele Abrusci, Lorenzo Tortora de Falco
Vol. 2: Incompletezza, teoria assiomatica degli insiemi / Vito Michele Abrusci, Lorenzo Tortora de Falco
Autore Abrusci, Vito M.
Pubbl/distr/stampa Milano, : Springer, 2018
Descrizione fisica xiii, 439 p. ; 24 cm
Altri autori (Persone) Tortora de Falco, Lorenzo
Soggetto non controllato Aritmetica di Peano
Assiomi di Zermelo-Fraenkel
Funzioni elementari e ricorsive
Ordinali e Cardinali
Teoremi di incompletezza di Goedel
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione ita
Titolo uniforme
Record Nr. UNICAMPANIA-VAN0125092
Abrusci, Vito M.  
Milano, : Springer, 2018
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui