Title: Logic in Theory and Practice