Repository | Directory | Profile
in English
Explanation by induction?
2013
Miguel HoeltjeBenjamin Schnieder Alex Steinberg
Synthese 190/3
