UNITEXT

Mundici, Daniele

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.

Details

Published by: Springer

Publication Date: 2011-02-10

Format: Paperback

ISBN-13: 9788847018839

DOI: 10.1007/978-88-470-1884-6

Dimensions: cm xcm

Pages: 126