Troelstra, A.S

Constructivism in Mathematics: An Introduction - - Amsterdam North - Holland 1991 -







CONTRUCTIVE MATHEMATICS

510.25