TY - BOOK AU - Kneebone,G.T TI - Mathematical logic PY - 1963/// ER -