In a fragment entitled Elementa Nova Matheseos Universalis (1683?) Leibniz writes “the mathesis [...] shall deliver the method through which things that are c

This book is for graduate students and researchers, introducing modern foundational research in mathematics, computer science, and philosophy from an interdisci

Gerhard Gentzen has been described as logic’s lost genius, whom Gödel called a better logician than himself. This work comprises articles by leading proof th

What does computable law mean for the autonomy, authority, and legitimacy of the legal system? Are we witnessing a shift from Rule of Law to a new Rule of Techn

This book is for graduate students and researchers, introducing modern foundational research in mathematics, computer science, and philosophy from an interdisci