TY - BOOK AU - Schutte K AU - Thiele,H J AU - Schmidt,H Arnold TI - Contribution to mathematical logic U1 - 511.3 PY - 1968/// CY - Amsterdam PB - North-Holland KW - Conference proceedings KW - Mathematical logic ER -