A Unified View of Induction Reasoning For First-Order Logic: Sorin StratulatDocumentoA Unified View of Induction Reasoning For First-Order Logic: Sorin StratulatAggiunto da sorinica10 valutazioniIl 0% ha trovato utile questo documentoSalva A Unified View of Induction Reasoning For First-Order Logic: Sorin Stratulat per dopo