Axiomatizing geometric constructions

Logic, Methodology and Philosophy of Science.

Max Black, Ernest Nagel, Patrick Suppes et al. · The Philosophical Review · 1963 · 2K citations

Formal Logic, Automated Reasoning, Philosophy Of Logic +3

Constructive mathematics and computer programming

Per Martin-Löf · Philosophical Transactions of the Royal Society of London Series A Mathematical and Physical Sciences · 1984 · 501 citations

Abraham Robinson. Introduction to model theory and to the metamathematics of algebra. Studies in logic and the foundations of mathematics. North-Holland Publishing Company, Amsterdam1963, IX + 284 pp.

Carol Karp · Journal of Symbolic Logic · 1964 · 254 citations

Algebraic Logic, Issue 1, Abraham Robinson +4

Tarski's System of Geometry

Alfred Tarski, Steven Givant · Bulletin of Symbolic Logic · 1999 · 151 citations

Discrete Geometry, Global Geometry, Specific Axioms +7

Introduction to Logic and to the Methodology of the Deductive Sciences

Alfred Tarski · The Modern Schoolman · 1942 · 130 citations

Applied Logic, Mathematica Logic, Deductive Method +11