Sometimes you can guess the meaning of a phrasal verb because it is related to the main verb. Look at this example again. Shall we give away all the old books in the office? The meaning is clearly ...

Formalisms underlying the specification, design, and analysis of software, including propositional and predicate logic, sets, relations, functions, recursive definition and induction, finite state ...