Einführung in die mathematische Logik
- 285 pages
- 10 hours of reading
Alfred Tarski Book order (chronological)
Alfred Tarski was a Polish logician and mathematician who fundamentally reshaped the landscape of logic in the twentieth century. His work, particularly concerning the theory of models and the concept of truth, places him among the most significant thinkers in history. Tarski is renowned for his contributions to mathematical logic and abstract algebra, with his influence extending into philosophy. His profound research and innovative ideas continue to impact contemporary scientific discourse.
Introduction to Logic: and to the Methodology of Deductive Sciences
- 258 pages
- 10 hours of reading
The book offers a comprehensive examination of the deductive method, focusing on its foundational principles in the first part. In the second part, it delves into the applications of logic and methodology in developing mathematical theories. Throughout the text, exercises are included to reinforce learning and understanding, making it a practical resource for undergraduate students.