Vallverdú, Jordi2023-10-312023-10-312014-04http://hdl.handle.net/10451/60109engLógicaCiências da computaçãoLogic and computers: a sketch of their symbiotic relationshipsjournal articlehttps://doi.org/10.56526/10451/60109