TY - BOOK AU - Nidditch P H TI - Development of mathematical logic U1 - 511.3 PY - 1962/// CY - London PB - Routledge and Kegan Paul KW - Mathematical logic ER -