TY  - BOOK
AU  - Ambrose, Alice
AU  - Lazerowitz, M
TI  - Logic theory of formal inference
N1  - B31 K13
ER  -