Furthermore, computers can be used as tools for logicians.
Thêm vào đó, máy tính có thể được sử dụng như công cụ cho các nhà logic học.