A Unified View of Induction Reasoning For First-Order Logic: Sorin StratulatDocumentoA Unified View of Induction Reasoning For First-Order Logic: Sorin StratulatAdicionado por sorinica10 notas0% acharam este documento útilSalve A Unified View of Induction Reasoning For First-Order Logic: Sorin Stratulat para mais tarde