Logica Metodo Breve

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 fa...

Full description

Bibliographic Details

Main Author:	Mundici, Daniele (Author)
Format:	Electronic Resource
Language:	Italian
Published:	Milan Springer c2011.
Series:	Unitext 1
Subjects:	Logic, Symbolic and mathematical.
Online Access:	Available for University of the Philippines System via SpringerLink