Thomas Strahm Editor

Giovanni Sommaruga is Professor for philosopy of logic and mathematics at ETH Zurich, Switzerland. Thomas Strahm is Professor for mathematical logic and theoretical computer science at the University of Berne, Switzerland.