Leblanc, Hugues, 1924- Techniques of deductive inference / Hugues Leblanc - 216 páginas Subjects--Topical Terms: Lógica simbólica y matemática LC Class. No.: BC135 / L36