Skip to main content
SpringerLink
Log in
Book cover

Logica

Volume 1 - Dimostrazioni e modelli al primo ordine

  • Textbook
  • © 2014

Overview

Authors:
  1. Vito Michele Abrusci

    1. Dipartimento di Matematica e Fisica, Università Roma Tre, Roma, Italia

    View author publications

    You can also search for this author in PubMed   Google Scholar

  2. Lorenzo Tortora Falco

    1. Dipartimento di Matematica e Fisica, Università Roma Tre, Roma, Italia

    View author publications

    You can also search for this author in PubMed   Google Scholar

  • 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)

  • 4163 Accesses

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 29.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 39.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (5 chapters)

  1. Front Matter

    Pages i-ix
    Download chapter PDF

  2. Introduzione

    • Vito Michele Abrusci, Lorenzo Tortora de Falco
    Pages 1-35

  3. Alcune nozioni preliminari

    • Vito Michele Abrusci, Lorenzo Tortora de Falco
    Pages 37-48

  4. Dimostrabilità e soddisfacibilità

    • Vito Michele Abrusci, Lorenzo Tortora de Falco
    Pages 49-108

  5. Verso la teoria della dimostrazione: il teorema di eliminazione del taglio per LK

    • Vito Michele Abrusci, Lorenzo Tortora de Falco
    Pages 109-136

  6. Verso la teoria dei modelli: alcune conseguenze del teorema di compattezza

    • Vito Michele Abrusci, Lorenzo Tortora de Falco
    Pages 137-178

  7. Back Matter

    Pages 179-190
    Download chapter PDF
Back to top

Keywords

About this book

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.

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

Publish with us

Policies and ethics

Back to top

Search

Navigation