Semantics of Exact Real Arithmetic (1997)

Cached

Download Links

by Peter John Potts , Abbas Edalat , Martín Hötzel Escardó
Citations:29 - 8 self