Concepedia

Presburger''s Article on Integer Arithmetic: Remarks and Translation

Ryan Stansifer

eCommons (Cornell University) · 1984 · 36 citations · 11 references

Full text

Open access

Concepts

Abstract

No abstract supplied.

References

11

Introduction to automata theory, languages and computation

Mathematics and Computers in Simulation · 1981 · 10.9K citations

, , +10

Introduction to Mathematical Logic.

Angelo Margaris, Alonzo Church · American Mathematical Monthly · 1957 · 935 citations

, , +15

Logic, Semantics, Metamathematics; Papers from 1923 to 1938.

Robert M. Martin, Alfred Tarski, J. H. Woodger · The Journal of Philosophy · 1958 · 709 citations

, , +17

W. Ackermann. Solvable cases of the decision problem. Studies in logic and the foundations of mathematics. North-Holland Publishing Company, Amsterdam1954, VIII + 114 pp.

Paul Bernays · Journal of Symbolic Logic · 1957 · 284 citations

, , +6

Principles of Mathematical Logic

R. L. Goodstein, D. Hilbert, W. Ackermann · The Mathematical Gazette · 1951 · 254 citations

, , +3