TY - BOOK AU - Vallverdu?, Jordi. TI - Thinking Machines and the Philosophy of Computer Science: Concepts and Principles U1 - QA76.167 .T485 2010eb ER -