Essays in constructive mathematics

"This book aims to promote constructive mathematics not by defining it or formalizing it, but by practicing it, by basing all definitions and proofs on finite algorithms. The topics covered derive from classic works of nineteenth-century mathematics, among them Galois's theory of algebraic...

Full description

Main Author: Edwards, Harold M.
Other Authors: SpringerLink (Online service)
Format: eBook
Language: English
Published: New York : Springer, [2005]
Physical Description: 1 online resource (xix, 211 pages) : illustrations.
Subjects:

CMU Electronic Access

Electronic Resource Click Here
LocationCall Number: Status
CMU Electronic Access Available