TY - BOOK AU - Smullyan Arthur TI - Fundamentals of logic U1 - 160 PY - 1962/// CY - London PB - Prentice-hall International KW - Logic ER -