Logic and Structure

Il popolare manuale di Dirk van Dalen "Logica e Struttura", ora alla sua quinta edizione, offre un'introduzione completa ai fondamenti della logica classica e intuizionistica, alla teoria dei modelli e al famoso teorema di incompletezza di Gödel. La logica proposizionale e quella predicativa sono presentate in uno stile di facile lettura utilizzando la deduzione naturale di Gentzen. Il libro prosegue con alcuni concetti e fatti di base della teoria dei modelli, inclusa una discussione sulla compattezza, il teorema di Skolem-Löwenheim, i modelli non standard e l'eliminazione dei quantificatori. La discussione sulla logica classica si conclude con un'esposizione concisa della logica di secondo ordine. In considerazione del crescente riconoscimento dei metodi e dei principi costruttivi, la logica intuizionistica e la semantica di Kripke sono esplorate con attenzione. Sono inclusi anche numerosi aspetti costruttivi specifici, come la separazione e l'uguaglianza, la traduzione di Gödel e le proprietà di disgiunzione ed esistenza.