First Page | Document Content | |
---|---|---|
Date: 2007-04-14 14:30:54Model theory Algebraic structures Mathematical structures Field theory First-order logic Type Structure Universal algebra John V. Tucker Mathematics Abstract algebra Algebra | The Rational Numbers as an Abstract Data Type J. A. BERGSTRA University of Amsterdam, Informatics Institute, Amsterdam, The Netherlands AND J. V. TUCKERAdd to Reading ListSource URL: www-compsci.swan.ac.ukDownload Document from Source WebsiteFile Size: 161,34 KBShare Document on Facebook |