Back to Results
First PageMeta Content
Model 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 List

Document Date: 2007-01-22 14:30:32


Open Document

File Size: 147,58 KB

Share Result on Facebook
UPDATE