Repository | Directory | Profile
(2010-2019)
Explanation by induction?
2013
Miguel HoeltjeBenjamin Schnieder Alex Steinberg
Synthese 190/3