Logica matematica e teorie formalizzate. Un quadro generale dei concetti e dei risultati fondamentali. Robert Rogers. Feltrinelli, 1978.

Feltrinelli (SC/10 Manuali 2); 1978; Noisbn; Copertina flessibile ; 20,5 x 12,5 cm; pp. 216; Traduzione di D. Silvestrini. Prima edizione.; leggeri segni d’uso alla copertina, interno ottimo; Buono (come da foto). ; “Questo libro”, scrive l’autore, “va inteso come un’indagine (destinata soprattutto a chi non è un logico di professione) dei concetti e dei risultati basilari della logica matematica e dello studio delle teorie formalizzate. L’opera si presenta come un testo di indubbia utilità per chi voglia accostarsi ai principali risultati ottenuti nel campo della logica matematica, senza peraltro addentrarsi nello specifico delle dimostrazioni più complesse. Con una particolare attenzione agli aspetti “filosofici” e alle implicazioni teoretiche, Rogers passa in rassegna le teorie che formano il “corpus” principale della logica odierna: logica enunciativa e logica predicativa del primo e del secondo ordine. Dà inoltre un’esposizione delle teorie formalizzate dell’aritmetica e della teoria assiomatica degli insiemi. Di particolare interesse l’ultimo capitolo dedicato ai problemi di incompletezza e indecidibilità.; L’immagine se disponibile, corrisponde alla copia in vendita.