Un buon libro diviso in 3 parti: nozioni di base di ricorsività, calcolabilità, cos\'è un sistema formale, la logica proposizionale e la logica di primo livello, la deduzione naturale ed automatica, e . . . . .

Information Integration is a young and exciting field with enormous research and commercial significance in the new world of the Information Society. It stands at the crossroad of Databases and Artifi . . . . .