On the metamathematics of algebra /
Saved in:
Corporate Authors: | |
---|---|
Group Author: | |
Published: |
Elsevier Science,
|
Publisher Address: | Amsterdam : |
Publication Dates: | 1951. |
Literature type: | eBook |
Language: | English |
Series: |
Studies in Logic and the Foundations of Mathematics ;
v. 4 |
Subjects: | |
Online Access: |
http://www.sciencedirect.com/science/bookseries/0049237X/4 |
Carrier Form: | 1 online resource (vi, 195 pages). |
Bibliography: | Includes bibliographical references. |
ISBN: |
9780444533692 0444533699 |
Index Number: | QA162 |
CLC: | O153 |
Contents: | Introduction -- Construction of a formal language -- Relations between deductive and descriptive concepts -- Specification of axiomatic systems -- Some metamathematical theorems on algebraic fields -- Algebraic systems -- Polynomials in general algebras -- Algebraic predicates -- Convex systems -- Ideals -- Pre-ideals. |