Work

Varieties of Constructive Mathematics

FWCI: 3.451
Cites:
Cited by: 552
Related to: 10