TY - BOOK AU - Dummett Michael TI - Elements of instuitionism SN - 0-19-853158-3 U1 - 511.22 PY - 1977/// CY - Oxford PB - Clarendon Press KW - Intuitive mathematics ER -