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 22,99 €
price for Spain (gross)
  • ISBN 978-88-470-3968-1
  • Digitally watermarked, DRM-free
  • Included format: PDF, EPUB
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover 29,99 €
price for Spain (gross)
  • ISBN 978-88-470-3967-4
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
  • The final prices may differ from the prices shown due to specifics of VAT rules
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)
  • Relazioni tra logica e aritmetica: un’introduzione

    Pages 3-5

    Abrusci, Vito Michele (et al.)

  • Decidibilità e risultati fondamentali di teoria della ricorsività

    Pages 7-143

    Abrusci, Vito Michele (et al.)

  • L’aritmetica di Peano

    Pages 145-211

    Abrusci, Vito Michele (et al.)

  • Introduzione alla teoria degli insiemi

    Pages 215-239

    Abrusci, Vito Michele (et al.)

  • La teoria assiomatica di Zermelo ($Z$) e quella di Zermelo-Fraenkel ($\mathit{ZF}$)

    Pages 241-264

    Abrusci, Vito Michele (et al.)

Buy this book

eBook 22,99 €
price for Spain (gross)
  • ISBN 978-88-470-3968-1
  • Digitally watermarked, DRM-free
  • Included format: PDF, EPUB
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover 29,99 €
price for Spain (gross)
  • ISBN 978-88-470-3967-4
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
  • The final prices may differ from the prices shown due to specifics of VAT rules
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