Logo - springer
Slogan - springer

Mathematics | Logica - Volume 1 - Dimostrazioni e modelli al primo ordine

Logica

Volume 1 - Dimostrazioni e modelli al primo ordine

Collana: UNITEXT, Vol. 80

Sotto-collana: La Matematica per il 3+2

Abrusci, Vito Michele, Tortora de Falco, Lorenzo

2014, IX, 190 pagg.

Available Formats:
eBook
Information

Springer eBooks may be purchased by end-customers only and are sold without copy protection (DRM free). Instead, all eBooks include personalized watermarks. This means you can read the Springer eBooks across numerous devices such as Laptops, eReaders, and tablets.

You can pay for Springer eBooks with Visa, Mastercard, American Express or Paypal.

After the purchase you can directly download the eBook file or read it online in our Springer eBook Reader. Furthermore your eBook will be stored in your MySpringer account. So you can always re-download your eBooks.

 
$29.99

(net) price for Stati Uniti d'America

ISBN 978-88-470-5538-4

digitally watermarked, no DRM

Included Format: PDF

download immediately after purchase


learn more about Springer eBooks

add to marked items

Brossura
Information

Brossura

You can pay for Springer Books with Advance Payment, Visa, Mastercard, American Express or Paypal.

Standard shipping is free of charge for individual customers.

 
$39.99

(net) price for Stati Uniti d'America

ISBN 978-88-470-5537-7

free shipping for individuals worldwide

ordine evaso e spedito in 3-5 giorni lavorativi


add to marked items

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

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.

Content Level » Upper undergraduate

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

Argomenti correlati Logica - Mathematics - Theoretical Computer Science

Indice dei contenuti / Prefazione 

Popular Content within this publication 

 

Articles

Leggi questo libro su SpringerLink

Servizi per questo libro

New Book Alert

Get alerted on new Springer publications in the subject area of Logica e Fondamenti di Matematica.