Explicit Mathematics (0)

by Solomon Feferman, Gerhard Jäger, Thomas Strahm
Venue:In preparation