1 option
A Decision Method for Elementary Algebra and Geometry / Alfred Tarski ; with the assistance of J. C. C. McKinsey.
De Gruyter University of California Press eBook-Package Archive Pre-2000 Available online
View online- Format:
- Book
- Author/Creator:
- Tarski, Alfred, 1901-1983, author.
- Language:
- English
- Subjects (All):
- Logic, Symbolic and mathematical.
- Axioms.
- Gödel's theorem.
- Physical Description:
- 1 online resource (72 p.)
- Edition:
- Second edition.
- Place of Publication:
- Berkeley : University of California Press, 1951.
- Language Note:
- In English.
- Summary:
- This title is part of UC Press's Voices Revived program, which commemorates University of California Press's mission to seek out and cultivate the brightest minds and give them voice, reach, and impact. Drawing on a backlist dating to 1893, Voices Revived makes high-quality, peer-reviewed scholarship accessible once again using print-on-demand technology. This title was originally published in 1951. This title is part of UC Press's Voices Revived program, which commemorates University of California Press's mission to seek out and cultivate the brightest minds and give them voice, reach, and impact. Drawing on a backlist dating to 1893, Voices Revived.
- Contents:
- Frontmatter
- PREFACE
- CONTENTS
- INTRODUCTION
- SECTION 1 — THE SYSTEM OF ELEMENTARY ALGEBRA
- SECTION 2 — DECISION METHOD FOR ELEMENTARY ALGEBRA
- SECTION 3 — EXTENSIONS TO RELATED SYSTEMS
- NOTES
- BIBLIOGRAPHY
- SUPPLEMENTARY NOTES
- Notes:
- Includes bibliographical references.
- Description based on online resource; title from PDF title page (publisher's Web site, viewed 01. Okt 2020)
- Description based on print version record.
- ISBN:
- 9780520348097
- 0520348095
- OCLC:
- 1198931941
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.