TY - RPRT TI - Mathematical logic in relation to ordinary mathematics. AU - G T Kneebone PY - 1971 UR - https://pubmed.ncbi.nlm.nih.gov/5098971/ ID - 5098971 ER -