Advertisement

Logica

Volume 2 - Incompletezza, teoria assiomatica degli insiemi

  • Vito Michele Abrusci
  • Lorenzo Tortora de Falco

Part of the UNITEXT book series (UNITEXT, volume 111)

Also part of the La Matematica per il 3+2 book sub series (UNITEXTMAT, volume 111)

Table of contents

  1. Front Matter
    Pages I-XIII
  2. Logica ed Aritmetica: l’incompletezza

    1. Front Matter
      Pages 1-1
    2. Vito Michele Abrusci, Lorenzo Tortora de Falco
      Pages 3-5
    3. Vito Michele Abrusci, Lorenzo Tortora de Falco
      Pages 7-143
    4. Vito Michele Abrusci, Lorenzo Tortora de Falco
      Pages 145-211
  3. Le basi della teoria assiomatica degli insiemi di Zermelo-Fraenkel

    1. Front Matter
      Pages 213-213
    2. Vito Michele Abrusci, Lorenzo Tortora de Falco
      Pages 215-239
    3. Vito Michele Abrusci, Lorenzo Tortora de Falco
      Pages 241-264
    4. Vito Michele Abrusci, Lorenzo Tortora de Falco
      Pages 265-346
    5. Vito Michele Abrusci, Lorenzo Tortora de Falco
      Pages 347-365
    6. Vito Michele Abrusci, Lorenzo Tortora de Falco
      Pages 367-388
    7. Vito Michele Abrusci, Lorenzo Tortora de Falco
      Pages 389-433
  4. Back Matter
    Pages 435-439

About this book

Introduction

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.

Keywords

Funzioni elementari e ricorsive Aritmetica di Peano Teoremi di incompletezza di Goedel Assiomi di Zermelo-Fraenkel Ordinali e Carinali

Authors and affiliations

  • Vito Michele Abrusci
    • 1
  • Lorenzo Tortora de Falco
    • 2
  1. 1.Dipartimento di Matematica e FisicaUniversità Roma TreRomaItaly
  2. 2.Dipartimento di Matematica e FisicaUniversità Roma TreRomaItaly

Bibliographic information

  • DOI https://doi.org/10.1007/978-88-470-3968-1
  • Copyright Information Springer-Verlag Italia S.r.l., part of Springer Nature 2018
  • Publisher Name Springer, Milano
  • eBook Packages Mathematics and Statistics
  • Print ISBN 978-88-470-3967-4
  • Online ISBN 978-88-470-3968-1
  • Series Print ISSN 2038-5714
  • Series Online ISSN 2532-3318
  • Buy this book on publisher's site