Overview
- Permette di conseguire una solida preparazione specialistica nella Logica, adottando un punto di vista emerso dalla ricerca contemporanea
- Mostra una particolare attenzione alla dimostrazione dei principali teoremi sulla Logica e la presentazione della teoria assiomatica degli insiemi
- Offre un sito web dedicato nel quale possono essere fornite integrazioni e proposti esercizi
Part of the book series: UNITEXT (UNITEXT, volume 111)
Part of the book sub series: La Matematica per il 3+2 (UNITEXTMAT)
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (9 chapters)
-
Logica ed Aritmetica: l’incompletezza
-
Le basi della teoria assiomatica degli insiemi di Zermelo-Fraenkel
Keywords
About this book
L'opera si propone come testo di riferimento per acquisire una solida preparazione specialistica nella Logica, presentando in maniera rigorosa ed innovativa argomenti tradizionalmente affrontati nei corsi universitari di secondo livello. Questo secondo volume, che completa l'opera, 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.
Authors and Affiliations
About the authors
Lorenzo Tortora de Falco è Professore associato di Logica presso l'Università degli Studi Roma Tre, dal 2005. I suoi interessi di ricerca si svolgono principalmente nell’ambito della logica lineare e delle sue interazioni con l’informatica teorica.
Bibliographic Information
Book Title: Logica
Book Subtitle: Volume 2 - Incompletezza, teoria assiomatica degli insiemi
Authors: Vito Michele Abrusci, Lorenzo Tortora de Falco
Series Title: UNITEXT
DOI: https://doi.org/10.1007/978-88-470-3968-1
Publisher: Springer Milano
eBook Packages: Mathematics and Statistics, Mathematics and Statistics (R0)
Copyright Information: Springer-Verlag Italia S.r.l., part of Springer Nature 2018
Softcover ISBN: 978-88-470-3967-4Published: 11 December 2018
eBook ISBN: 978-88-470-3968-1Published: 24 November 2018
Series ISSN: 2038-5714
Series E-ISSN: 2532-3318
Edition Number: 1
Number of Pages: XIII, 439
Topics: Mathematical Logic and Foundations, Mathematical Logic and Formal Languages