La Matematica per il 3+2

Logica

Volume 1 - Dimostrazioni e modelli al primo ordine

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

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

Buy this book

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

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.

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.

Table of contents (5 chapters)

  • Introduzione

    Abrusci, Vito Michele (et al.)

    Pages 1-35

  • Alcune nozioni preliminari

    Abrusci, Vito Michele (et al.)

    Pages 37-48

  • Dimostrabilità e soddisfacibilità

    Abrusci, Vito Michele (et al.)

    Pages 49-108

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

    Abrusci, Vito Michele (et al.)

    Pages 109-136

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

    Abrusci, Vito Michele (et al.)

    Pages 137-178

Buy this book

eBook $29.99
price for USA (gross)
  • ISBN 978-88-470-5538-4
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $39.99
price for USA
  • ISBN 978-88-470-5537-7
  • 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 1 - Dimostrazioni e modelli al primo ordine
Authors
Series Title
La Matematica per il 3+2
Series Volume
80
Copyright
2014
Publisher
Springer-Verlag Mailand
Copyright Holder
Springer-Verlag Italia
eBook ISBN
978-88-470-5538-4
DOI
10.1007/978-88-470-5538-4
Softcover ISBN
978-88-470-5537-7
Series ISSN
2038-5722
Edition Number
1
Number of Pages
IX, 190
Topics