Logica
Volume 1 - Dimostrazioni e modelli al primo ordine
Authors: Abrusci, Vito Michele, Tortora de Falco, Lorenzo
Free Preview- Un testo che permette di conseguire una solida preparazione specialistica nella Logica, adottando un punto di vista emerso dalla ricerca contemporanea
- Una particolare attenzione alla dimostrazione dei principali teoremi sulla Logica, e la presentazione della teoria assiomatica degli insiemi
- La presenza di un sito web dedicato nel quale possono essere fornite integrazioni e proposti esercizi
Buy this book
- About this Textbook
-
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.
- About the authors
-
Vito Michele Abrusci è Professore Ordinario di Logica e Fiolosofia presso l'Università degli Studi Roma Tre, dal 1996.
Lorenzo Tortora de Falco è Professore associato di Logica presso la Facoltà di Lettere e Filosofia all'Università Roma Tre, dal 2005.
- Table of contents (5 chapters)
-
-
Introduzione
Pages 1-35
-
Alcune nozioni preliminari
Pages 37-48
-
Dimostrabilità e soddisfacibilità
Pages 49-108
-
Verso la teoria della dimostrazione: il teorema di eliminazione del taglio per LK
Pages 109-136
-
Verso la teoria dei modelli: alcune conseguenze del teorema di compattezza
Pages 137-178
-
Table of contents (5 chapters)
- Download Preface 1 PDF (53.6 KB)
- Download Table of contents PDF (64.5 KB)
Buy this book

Services for this Book
Recommended for you

Bibliographic Information
- Bibliographic Information
-
- Book Title
- Logica
- Book Subtitle
- Volume 1 - Dimostrazioni e modelli al primo ordine
- Authors
-
- Vito Michele Abrusci
- Lorenzo Tortora de Falco
- Series Title
- La Matematica per il 3+2
- Series Volume
- 80
- Copyright
- 2014
- Publisher
- Springer-Verlag Mailand
- Copyright Holder
- Springer-Verlag Italia
- eBook ISBN
- 978-88-470-5538-4
- DOI
- 10.1007/978-88-470-5538-4
- Softcover ISBN
- 978-88-470-5537-7
- Series ISSN
- 2038-5722
- Edition Number
- 1
- Number of Pages
- IX, 190
- Topics