This book presents diverse topics in mathematical logic such as proof theory, meta-mathematics, and applications of logic to mathematical structures. The collec

This volume offers a wide range of both reconstructions of Nikolai Vasiliev’s original logical ideas and their implementations in the modern logic and philoso

Offering a bold new vision on the history of modern logic, Lukas M. Verburgt and Matteo Cosci focus on the lasting impact of Aristotle's syllogism between the 1

This book presents a series of case studies and reflections on the historiographical assumptions, methods and approaches that shape the way in which philosopher

The book provides a historical (with an outline of the history of the concept of truth from antiquity to our time) and systematic exposition of the semantic the