αρχείο Email: Logic for mathematics and computer science/