Constructive Mathematics, in Theory and Programming Practice (1997)

by Douglas Bridges , Steve Reeves
Citations:6 - 2 self