Authors:
- 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
- Includes supplementary material: sn.pub/extras
Part of the book series: UNITEXT (UNITEXT, volume 80)
Part of the book sub series: La Matematica per il 3+2 (UNITEXTMAT)
Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
This is a preview of subscription content, log in via an institution to check for access.
Table of contents (5 chapters)
-
Front Matter
-
Back Matter
About this book
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.
Authors and Affiliations
-
Dipartimento di Matematica e Fisica, Università Roma Tre, Roma, Italia
Vito Michele Abrusci, Lorenzo Tortora Falco
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.
Bibliographic Information
Book Title: Logica
Book Subtitle: Volume 1 - Dimostrazioni e modelli al primo ordine
Authors: Vito Michele Abrusci, Lorenzo Tortora Falco
Series Title: UNITEXT
DOI: https://doi.org/10.1007/978-88-470-5538-4
Publisher: Springer Milano
eBook Packages: Mathematics and Statistics, Mathematics and Statistics (R0)
Copyright Information: Springer-Verlag Italia 2014
Softcover ISBN: 978-88-470-5537-7Published: 24 October 2014
eBook ISBN: 978-88-470-5538-4Published: 15 November 2014
Series ISSN: 2038-5714
Series E-ISSN: 2532-3318
Edition Number: 1
Number of Pages: IX, 190
Topics: Mathematical Logic and Foundations, Logic, Mathematical Logic and Formal Languages