Title: Implication transduction
First published: 1997
Subjects: Implication (Logic)
LC classification: BC199.I43 L68 1997