This introduction to the basic ideas of structural proof theory contains a thorough discussion and comparison of various types of formalization of first-order l

During the late 1960s, Normalization and Social Role Valorization (SRV) enabled the widespread emergence of community residential options and then provided the

This book constitutes the refereed proceedings of the 10th International Conference on Theorem Proving in Higher Order Logics, TPHOLs '97, held in Murray Hill,

As we face new challenges from climate change and the rise of populism in Western politics and beyond, there is little doubt that we are entering a new configur

Stereotypical descriptions showcase West Germany as an "economic miracle" or cast it in the narrow terms of Cold War politics. Such depictions neglect how mater