A De Falco Libri
Libri di De Falco
DE FALCO: tutti i Libri scritti da De Falco in vendita online su Unilibro.it a prezzi scontati. Acquistare su Unilibro è semplice: clicca sul libro di 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
edizioni Springer Verlag collana Unitext , 2014
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....
Logica. Vol. 2: Incompletezza, teoria assiomatica degli insiemi
Abrusci Vito Michele
Tortora De Falco Lorenzo
edizioni Springer Verlag collana Unitext , 2018
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.