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

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

Constructive mathematics – mathematics in which 'there exists' always means 'we can construct' – is enjoying a renaissance. fifty years on from Bishop's gro

This book presents an in-depth and critical reconstruction of Prawitz’s epistemic grounding, and discusses it within the broader field of proof-theoretic sema