Decision Methods for Elementary Algebra

Journal of Symbolic Logic 22 (3):295-295 (1957)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Review: B. E. Meserve, Decision Methods for Elementary Algebra. [REVIEW]Abraham Robinson - 1957 - Journal of Symbolic Logic 22 (3):295-295.
A Decision Method for Elementary Algebra and Geometry.Alfred Tarski - 1952 - Journal of Symbolic Logic 17 (3):207-207.
B. E. Meserve. Decision methods for elementary algebra. The American mathematical monthly, vol. 62 , pp. 1–8. [REVIEW]Abraham Robinson - 1957 - Journal of Symbolic Logic 22 (3):295-295.
Review: Alfred Tarski, A Decision Method for Elementary Algebra and Geometry. [REVIEW]Leon Henkin - 1949 - Journal of Symbolic Logic 14 (3):188-188.
The elementary computable functions over the real numbers: applying two new techniques. [REVIEW]Manuel L. Campagnolo & Kerry Ojakian - 2008 - Archive for Mathematical Logic 46 (7-8):593-627.
A consistency proof for elementary algebra and geometry.Harvey Friedman - manuscript
Generalizing the algebra of physical quantities.Mark Sharlow - manuscript
Decision methods for linearly ordered Heyting algebras.Sara Negri & Roy Dyckhoff - 2006 - Archive for Mathematical Logic 45 (4):411-422.
Critical points in an algebra of elementary embeddings.Randall Dougherty - 1993 - Annals of Pure and Applied Logic 65 (3):211-241.
Relation Algebra Reducts of Cylindric Algebras and Complete Representations.Robin Hirsch - 2007 - Journal of Symbolic Logic 72 (2):673 - 703.
On elementary properties of free lie algebras.Andreas Baudisch - 1986 - Annals of Pure and Applied Logic 30 (2):121-136.
MV and Heyting Effect Algebras.D. J. Foulis - 2000 - Foundations of Physics 30 (10):1687-1706.
Boolean Algebras, Tarski Invariants, and Index Sets.Barbara F. Csima, Antonio Montalbán & Richard A. Shore - 2006 - Notre Dame Journal of Formal Logic 47 (1):1-23.
A boolean transfer principle from L*‐Algebras to AL*‐Algebras.Hirokazu Nishimura - 1993 - Mathematical Logic Quarterly 39 (1):241-250.
Approximation Logic and Strong Bunge Algebra.Michiro Kondo - 1995 - Notre Dame Journal of Formal Logic 36 (4):595-605.

Analytics

Added to PP
2015-02-05

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references