Back to Results
First PageMeta Content
Model theory / Real algebraic geometry / Guggenheim Fellows / Proof theory / Metalogic / Alfred Tarski / Presburger arithmetic / Existential theory of the reals / Quantifier elimination / Logic / Mathematical logic / Mathematics


Document Date: 2006-01-20 17:21:14

Open Document

File Size: 251,88 KB

Share Result on Facebook
UPDATE