Tortora De Falco Lorenzo Libri
Libri di Lorenzo Tortora De Falco
LORENZO TORTORA DE FALCO: tutti i Libri scritti da Lorenzo Tortora De Falco in vendita online su Unilibro.it a prezzi scontati. Acquistare su Unilibro è semplice: clicca sul libro di Lorenzo Tortora De Falco che ti interessa, aggiungilo a carrello e procedi quindi a concludere l'ordine
Logica. Vol. 1: Dimostrazioni e modelli al primo ordine Abrusci Vito Michele Tortora De Falco Lorenzo - Springer Verlag, 2014 - Unitext
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.
Logica. Vol. 2: Incompletezza, teoria assiomatica degli insiemi Abrusci Vito Michele Tortora De Falco Lorenzo - Springer Verlag, 2018 - Unitext
Questo secondo volume, presenta le basi della teoria della ricorsività, l'aritmetica di Peano ed i teoremi di incompletezza, gli assiomi della teoria assiomatica degli insiemi di Zermelo-Fraenkel e la teoria degli ordinali e dei cardinali che ne deriva.