Vito Michele Abrusci,
Lorenzo Tortora de Falco
Springer Milan
2014e druk, 2014
9788847055377
Logica
Volume 1 - Dimostrazioni e modelli al primo ordine
Specificaties
Paperback, 190 blz.
|
Springer Milan |
2014e druk, 2014
ISBN13: 9788847055377
Rubricering
Onderdeel van serie
UNITEXT
Verwachte levertijd ongeveer 9 werkdagen
Samenvatting
Gli autori, basandosi sulla loro esperienza di ricerca, propongono in due volumi un testo di riferimento per acquisire una solida formazione specialistica nella logica.
Nei due volumi vengono presentati in maniera innovativa e rigorosa temi di logica tradizionalmente affrontati nei corsi universitari di secondo livello.
Questo primo volume è dedicato ai teoremi fondamentali sulla logica del primo ordine e alle loro principali conseguenze.
Il testo è rivolto in particolare agli studenti dei corsi di laurea magistrale.
Specificaties
ISBN13:9788847055377
Bindwijze:paperback
Aantal pagina's:190
Uitgever:Springer Milan
Druk:2014
Serie:UNITEXT
Inhoudsopgave
1 Introduzione.- 2 Alcune nozioni preliminari.- 3 Dimostrabilità e soddisfacibilità.- 4 Verso la teoria della dimostrazione: il teorema del taglio per LK.- 5 Verso la teoria dei modelli: alcune conseguenze del teorema di compattezza.