Thinking machines and the philosophy of computer science : concepts and principles - Vallverdu, Jordi