Advertisement

Logica

Volume 1 Dimostrazioni e modelli al primo ordine

  • Vito Michele Abrusci
  • Lorenzo Tortora de Falco

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

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

Table of contents

  1. Front Matter
    Pages i-ix
  2. Vito Michele Abrusci, Lorenzo Tortora de Falco
    Pages 1-35
  3. Vito Michele Abrusci, Lorenzo Tortora de Falco
    Pages 37-48
  4. Vito Michele Abrusci, Lorenzo Tortora de Falco
    Pages 49-108
  5. Vito Michele Abrusci, Lorenzo Tortora de Falco
    Pages 109-136
  6. Vito Michele Abrusci, Lorenzo Tortora de Falco
    Pages 137-178
  7. Back Matter
    Pages 179-190

About this book

Introduction

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.

Keywords

funzioni ricorsive logica del primo ordine teorema di eliminazione del taglio teoremi di incompletezza teoria assiomatica degli insiemi

Authors and affiliations

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

Bibliographic information

Industry Sectors
Telecommunications
Oil, Gas & Geosciences