TY - BOOK TI - Logic PB - Holt Rinehart KW - Philosophy ER -