![Logic in computer science / Proof theory / Mathematics / Quantifier elimination / Presburger arithmetic / Mathematical logic / Model theory / Logic Logic in computer science / Proof theory / Mathematics / Quantifier elimination / Presburger arithmetic / Mathematical logic / Model theory / Logic](https://www.pdfsearch.io/img/72a6b0cf8c37dfede7b531f6569ea810.jpg) Date: 2015-04-13 15:49:07Logic in computer science Proof theory Mathematics Quantifier elimination Presburger arithmetic Mathematical logic Model theory Logic | | Presburger Arithmetic and Pseudo-Recursive Saturation David Llewellyn-Jones School of Mathematics and Statistics The University of Birmingham Edgbaston, Birmingham, B15 2TT, U.K.Add to Reading ListSource URL: www.flypig.co.ukDownload Document from Source Website File Size: 33,32 KBShare Document on Facebook
|