Ebook: Elementi di logica matematica

Questo breve volume è il primo di una serie dedicata alla ricerca operativa e come tale destinata a un pubblico piuttosto vasto ed eterogeneo. Stabilire un primo serio contatto fra la logica moderna e una
schiera di lettori in cui non si presuppone una specifica preparazione matematica, ma che tuttavia aspirano a quella consapevolezza logica indispensabile per comprendere le teorie scientifiche assiomatizzate e per affrontare tecniche raffinate, come quella della traduzione automatica: ecco la non facile impresa a cui si è dedicato Corrado Mangione con la serietà che gli è propria e con la competenza che gli deriva dal far parte dello stimato Gruppo di ricerca di logica matematica del C.N.R. presso l'Università di Milano.