TY - BOOK TI - Proceedings of the Royal logical society of London PY - 1967/// ER -