A Decision Method for Elementary Algebra and Geometry

Journal of Symbolic Logic 17 (3):207-207 (1952) Copy BIBT_EX

Abstract

This article has no associated abstract. (fix it)

Cite

Plain text

BibTeX

Formatted text

Reference Manager

RefWorks

Options

Mark as duplicate

Find it on Scholar

Request removal from index

Revision history

Categories

Logic and Philosophy of Logic

Keywords

Reprint years

DOI

10.2307/2267705

Links

PhilArchive

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

External links

From the Publisher via CrossRef (no proxy)

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Sign in / register and customize your OpenURL resolver
Configure custom resolver

My notes

Sign in to use this feature

Similar books and articles

Review: Alfred Tarski, A Decision Method for Elementary Algebra and Geometry. [REVIEW]Leon Henkin - 1949 - Journal of Symbolic Logic 14 (3):188-188.

A consistency proof for elementary algebra and geometry.Harvey Friedman - manuscript

Review: Alfred Tarski, The Completeness of Elementary Algebra and Geometry. [REVIEW]Alonzo Church - 1969 - Journal of Symbolic Logic 34 (2):302-302.

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.

Quantifier elimination for elementary geometry and elementary affine geometry.Rafael Grimson, Bart Kuijpers & Walied Othman - 2012 - Mathematical Logic Quarterly 58 (6):399-416.

The completeness of elementary algebra and geometry.Alfred Tarski - 1967 - Paris,: Centre national de la recherche scientifique, Institut Blaise Pascal.

Distance geometry and geometric algebra.Andreas W. M. Dress & Timothy F. Havel - 1993 - Foundations of Physics 23 (10):1357-1374.

Projective spinor geometry and prespace.F. A. M. Frescura - 1988 - Foundations of Physics 18 (8):777-808.

Bridging the gap between analytic and synthetic geometry: Hilbert’s axiomatic approach.Eduardo N. Giovannini - 2016 - Synthese 193 (1):31-70.

Decision Methods for Elementary Algebra.B. E. Meserve - 1957 - Journal of Symbolic Logic 22 (3):295-295.

Clifford Algebras in Symplectic Geometry and Quantum Mechanics.Ernst Binz, Maurice A. de Gosson & Basil J. Hiley - 2013 - Foundations of Physics 43 (4):424-439.

Medieval Arabic Algebra as an Artificial Language.Jeffrey A. Oaks - 2007 - Journal of Indian Philosophy 35 (5-6):543-575.

Newton and Hamilton: In defense of truth in algebra.Janet Folina - 2012 - Southern Journal of Philosophy 50 (3):504-527.

Review: B. E. Meserve, Decision Methods for Elementary Algebra. [REVIEW]Abraham Robinson - 1957 - Journal of Symbolic Logic 22 (3):295-295.

Review: Alfred Tarski, What is Elementary Geometry? [REVIEW]John van Heijenoort - 1962 - Journal of Symbolic Logic 27 (1):93-93.

Analytics

Added to PP
2015-02-05

Downloads
35 (#443,848)

6 months
16 (#149,874)

Historical graph of downloads

How can I increase my downloads?

Citations of this work

Logic and philosophy of mathematics in the early Husserl.Stefania Centrone - 2010 - New York: Springer.

The development of mathematical logic from Russell to Tarski, 1900-1935.Paolo Mancosu, Richard Zach & Calixto Badesa - 2011 - In Leila Haaparanta (ed.), The development of modern logic. New York: Oxford University Press.

Second-order logic and foundations of mathematics.Jouko Väänänen - 2001 - Bulletin of Symbolic Logic 7 (4):504-520.

Completeness and Categoricity. Part I: Nineteenth-century Axiomatics to Twentieth-century Metalogic.Steve Awodey & Erich H. Reck - 2002 - History and Philosophy of Logic 23 (1):1-30.

A decision procedure for probability calculus with applications.Branden Fitelson - 2008 - Review of Symbolic Logic 1 (1):111-125.

View all 74 citations / Add more citations

References found in this work

No references found.

Add more references