TY - BOOK AU - Dummett, Micheal TI - Elements of intuitionism PY - 1977/// CY - Oxford PB - Clarendon press ER -