![Model theory / Proof theory / Metalogic / Logic in computer science / Computability theory / Presburger arithmetic / Quantifier elimination / Decidability / Jan Łukasiewicz / Mathematical logic / Logic / Mathematics Model theory / Proof theory / Metalogic / Logic in computer science / Computability theory / Presburger arithmetic / Quantifier elimination / Decidability / Jan Łukasiewicz / Mathematical logic / Logic / Mathematics](https://www.pdfsearch.io/img/a3bf345a4bd93379683f4f6f51a92c57.jpg) Date: 2007-01-22 14:30:32Model theory Proof theory Metalogic Logic in computer science Computability theory Presburger arithmetic Quantifier elimination Decidability Jan Łukasiewicz Mathematical logic Logic Mathematics | | @TechReport{Stansifer:1884:PAIA, author="Ryan Stansifer", title= "Presburger’s Article on Integer Airthmetic: Remarks and Translation", number="TR84-639", institution="Cornell University, Computer Science Department", Add to Reading ListSource URL: cs.fit.eduDownload Document from Source Website File Size: 147,58 KBShare Document on Facebook
|