Libri di
Bibliografia di : tutti i libri in vendita online editi da Springer Verlag con argomento Logica Matematica
Prossime uscite di
Libri previsti in uscita su Unilibro.it:
- 9791388310720 Viaggio tra le nuvole. Ediz. a colori
- 9791282635004 Io Paolo di Tarso. Cuore in tempesta
- 9791282555012 Antologia di Matilde Serao
- 9791282499002 Tutta colpa di un testamento
- 9791281862463 La voce che nutre
- 9791281862043 In cammino nella nostra Europa
- 9791281836099 La mia prima volta
- 9791281835320 Body land. Ediz. inglese e giapponese
- 9791281477292 Il dittatore
- 9791281182455 Giulio. Il guardiano del bosco
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.