Search alternatives:
"composed" » "composeed"
"compos" » "compose"
"composer" » "composeer", "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...