Computational logic is the field concerned with proving theorems formally by computer. Here you'll find educational and research material, from Cambridge Uni...
