TY - BOOK AU - Dummett Michael TI - Elements of intuitionism SN - 0-19-850524-8 U1 - 511.3 PY - 2000/// CY - Oxford PB - Clarendon Press KW - Intuitionism KW - Mathematical logic ER -