Formal Proof : Understanding, writing and evaluating proofs, february 2010

Clarisó Viladrosa, Robert; Huertas Sánchez, Maria Antonia

To access the full text documents, please follow this link:: http://hdl.handle.net/10609/57346

Other authors: Universitat Oberta de Catalunya

Date: 2016-09-23

Document type: Lecture notes

Published by: Universitat Oberta de Catalunya

Material docent de la Universitat Oberta de Catalunya.

Material docente de la "Universitat Oberta de Catalunya".

Learning material of the "Universitat Oberta de Catalunya".

This item appears in the following Collections