Happy Holidays—Our $30 Gift Card just for you, and books ship free! Shop now>>

La Matematica per il 3+2

Logica

Volume 2 - Incompletezza, teoria assiomatica degli insiemi

Authors: Abrusci, Vito Michele, Tortora de Falco, Lorenzo

Free Preview
  • 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
see more benefits

Buy this book

eBook $29.99
price for USA in USD (gross)
  • ISBN 978-88-470-3968-1
  • Digitally watermarked, DRM-free
  • Included format: EPUB, PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $39.99
price for USA in USD
  • ISBN 978-88-470-3967-4
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this Textbook

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.

About the authors

​Vito Michele Abrusci è Professore ordinario di Logica e Filosofia presso l'Università degli Studi Roma Tre, dal 1996. I suoi interessi di ricerca si svolgono principalmente in teoria della dimostrazione, logica lineare e sue applicazioni, storia e filosofia della logica.

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.


Table of contents (9 chapters)

Table of contents (9 chapters)

Buy this book

eBook $29.99
price for USA in USD (gross)
  • ISBN 978-88-470-3968-1
  • Digitally watermarked, DRM-free
  • Included format: EPUB, PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $39.99
price for USA in USD
  • ISBN 978-88-470-3967-4
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Logica
Book Subtitle
Volume 2 - Incompletezza, teoria assiomatica degli insiemi
Authors
Series Title
La Matematica per il 3+2
Series Volume
111
Copyright
2018
Publisher
Springer-Verlag Mailand
Copyright Holder
Springer-Verlag Italia S.r.l., part of Springer Nature
eBook ISBN
978-88-470-3968-1
DOI
10.1007/978-88-470-3968-1
Softcover ISBN
978-88-470-3967-4
Series ISSN
2038-5722
Edition Number
1
Number of Pages
XIII, 439
Topics