Introduction to Logic

<p><span style=color: rgba(51 51 51 1)>This classic undergraduate treatment examines the deductive method in its first part and explores applications of logic and methodology in constructing mathematical theories in its second part. Exercises appear throughout.</span></p><p><br></p><p><span style=color: rgba(51 51 51 1)>Alfred Tarski one of the greatest logicians of all time is widely thought of as 'the man who defined truth'. His work on the concepts of truth and logical consequence as defined by mathematical theory are cornerstones of modern logic influencing developments in mathematics philosophy linguistics and computer science. His teaching on logic and mathematics culminated in the 1941 classic INTRODUCTION TO LOGIC which uses the method of deduction and explores logic and methodology as it pertains to creating mathematical theories. </span></p>