TY - JOUR AU - Dummett, Michael IS - 3 JA - British Journal for the Philosophy of Science PB - Taylor & Francis PY - 1980 TI - Elements of Intuitionism VL - 31 ER -