Realizability interpretation of proofs in constructive analysis (2006)

by Helmut Schwichtenberg
Citations:6 - 0 self