Search alternatives:
"composer" » "composed", "compose"

1
by Cunningham, Daniel W.
Published 2013
Springer New York
... of mathematical assertions and is a tool for composing mathematical proofs. Exercises are given at the end of each...