Weak theories of truth and explicit mathematics. Submitted for publication. 19

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