Unfolding feasible arithmetic and weak truth (2012)

by Sebastian Eberhard , Thomas Strahm
Citations:1 - 1 self