A Decision Method for Elementary Algebra and Geometry

Prepared for Publication with the Assistance of J.C.C. McKinsey

Alfred Tarski

ResearchPublished 1951

A decision method by which the truth of sentences of the elementary algebra and geometry of real numbers is determined.

Topics

Document Details

  • Copyright: RAND Corporation
  • Availability: Web Only
  • Year: 1951
  • Pages: 66
  • Document Number: R-109

Citation

Chicago Manual of Style

Tarski, Alfred, A Decision Method for Elementary Algebra and Geometry: Prepared for Publication with the Assistance of J.C.C. McKinsey. Santa Monica, CA: RAND Corporation, 1951. https://www.rand.org/pubs/reports/R109.html.
BibTeX RIS

This publication is part of the RAND report series. The report series, a product of RAND from 1948 to 1993, represented the principal publication documenting and transmitting RAND's major research findings and final research.

This document and trademark(s) contained herein are protected by law. This representation of RAND intellectual property is provided for noncommercial use only. Unauthorized posting of this publication online is prohibited; linking directly to this product page is encouraged. Permission is required from RAND to reproduce, or reuse in another form, any of its research documents for commercial purposes. For information on reprint and reuse permissions, please visit www.rand.org/pubs/permissions.

RAND is a nonprofit institution that helps improve policy and decisionmaking through research and analysis. RAND's publications do not necessarily reflect the opinions of its research clients and sponsors.