共 50 条
- [44] A Nominal Exploration of Intuitionism PROCEEDINGS OF THE 5TH ACM SIGPLAN CONFERENCE ON CERTIFIED PROGRAMS AND PROOFS (CPP'16), 2016, : 130 - 141
- [47] Intuitionism and logical tolerance ALFRED TARSKI AND THE VIENNA CIRCLE: AUSTRO-POLISH CONNECTIONS IN LOGICAL EMPIRICISM, 1999, 6 : 135 - 148