First Steps Into Metapredicativity in Explicit Mathematics (1999)

Cached

Download Links

by Thomas Strahm
Citations:5 - 2 self