Benker , Hans . Practical Use Of Mathcad :solving mathematical problems with a computer algebra system / Textual Documents Hans Benker. - New York : Springer , 1999. - NULL ; NULL. Subjects--Index Terms: Mathematical logic Dewey Class. No.: 511.3 / BEN