All Stories

  1. Strong Normalization for Truth Table Natural Deduction

    Article • Fundamenta Informaticae, October 2019, IOS Press

    Iris van der Giessen