First Steps Into Metapredicativity in Explicit Mathematics (1999)

by Thomas Strahm
Citations:5 - 2 self