TY - BOOK AU - Kneale W AU - Kneale M TI - Development of logic U1 - R1uN5, K2 PY - 1962/// CY - London PB - O U P KW - LINGUISTICS ER -