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

[1]  M. Davis.  A Computer Program for Presburger’s Algorithm , 1983 .

[2]  Kazimierz Kuratowski,et al.  A half century of Polish mathematics : remembrances and reflections , 1980 .

[3]  Hubert C. Kennedy,et al.  Peano, life and works of Giuseppe Peano , 1980 .

[4]  Robert E. Shostak,et al.  A Practical Decision Procedure for Arithmetic with Function Symbols , 1979, JACM.

[5]  Jeffrey D. Ullman,et al.  Introduction to Automata Theory, Languages and Computation , 1979 .

[6]  Derek C. Oppen,et al.  A 2^2^2^pn Upper Bound on the Complexity of Presburger Arithmetic , 1978, J. Comput. Syst. Sci..

[7]  Robert E. Shostak,et al.  On the SUP-INF Method for Proving Presburger Formulas , 1977, JACM.

[8]  S. Ulam,et al.  Adventures of a Mathematician , 2019, Mathematics: People · Problems · Results.

[9]  M. Fischer,et al.  SUPER-EXPONENTIAL COMPLEXITY OF PRESBURGER ARITHMETIC , 1974 .

[10]  Hans Hermes,et al.  Introduction to mathematical logic , 1973, Universitext.

[11]  G. Kreisel,et al.  Elements of Mathematical Logic: Model Theory , 1971 .

[12]  Jaskowski,et al.  Polish Logic 1920-1939. , 1969 .

[13]  Chen C. Chang,et al.  Model Theory: Third Edition (Dover Books On Mathematics) By C.C. Chang;H. Jerome Keisler;Mathematics , 1966 .

[14]  D. Prawitz.  Natural Deduction: A Proof-Theoretical Study , 1965 .

[15]  Olgierd Wojtasiewicz,et al.  Elements of mathematical logic , 1964 .

[16]  Martha Kneale,et al.  The development of logic , 1963 .

[17]  Eugene C. Luschei,et al.  The logical systems of Lesniewski , 1962 .

[18]  E. Beth.  The foundations of mathematics : a study in the philosophy of science , 1959 .

[19]  Alfred Tarski,et al.  Logic, Semantics, Metamathematics: Papers from 1923 to 1938 , 1958 .

[20]  In memoriam Jan Lukasiewicz. , 1957 .

[21]  Wilhelm Ackermann,et al.  Solvable Cases Of The Decision Problem , 1954 .

[22]  A. Tarski.  A Decision Method for Elementary Algebra and Geometry , 2023 .

[23]  D. Hilbert,et al.  Principles of Mathematical Logic , 1950 .

[24]  O. Taussky,et al.  The Development of Mathematical Logic and of Logical Positivism in Poland between the Two Wars , 1946 .

[25]  P. Bernays,et al.  Grundlagen der Mathematik , 1934 .

[26]  A. Tarski.  Fundamentale Begriffe der Methodologie der deduktiven Wissenschaften. I , 1930 .

[27]  L. M.-T..  Grundzüge der theoretischen Logik , 1929, Nature.

[28]  C. H. Langford.  Some Theorems on Deducibility , 1926 .