Forster Thomas Reasoning About Theoretical Entities - World Scientific WSPC 2003 ISBN: 9789812795038 Source: EBOOK Subjects--Topical Terms: Computer Science