Weak theories of truth and explicit mathematics (1975)

by S Eberhard, T Strahm
Venue:In Logic, Construction, Computation