ITALIAN

Logica: Metodo Breve

By Daniele Mundici (auth.)

Book information

Publisher
Springer Milan
Year
2011
ISBN
8847018838, 9788847018839, 9788847018846
DOI
10.1007/978-88-470-1884-6
ISSN
2038-5714
Google Books ID
tyiMqIGL1XIC
Language
italian
Format
PDF
Filesize
1005 kB (1029583 bytes)
Series
Unitext / La Matematica Per Il 3+2
Edition
1st Edition.
Pages
XI, 126 pagg.\143
Orientation
yes
Scanned
no
Time added
2011-08-31 04:54:40

Description

Senza richiedere prerequisiti il testo si propone di fornire una dimostrazione dei fondamentali teoremi della logica matematica (compattezza, completezza di Gödel, Löwenheim-Skolem) introducendo i concetti sintattici e semantici in modo progressivo, dalla logica booleana a quella predicativa. Per facilitare la lettura attiva, il testo contiene numerosi esercizi.

Similar books