StarttechVentures / Library

The Starttech Ventures Library
6 stars 5 forks source link

Introduction To Logic #37

Open aristeidis-kypriotis opened 7 years ago

aristeidis-kypriotis commented 7 years ago

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. A thought-provoking introduction to the fundamentals and the perfect adjunct to courses in logic and the foundations of mathematics. Exercises appear throughout.