Documents 1. Outline I. Specification and Definition II. Typed Predicate Logic III. Specification in TPL IV......

TOWARDS A PHILOSOPHY OF COMPUTER SCIENCE THE LOGIC OF SPECIFICATION 1 What kind of thing is the definition of a computer/ 1 Outline Specification and Definition Typed Predicate…