Presburger arithmetic - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2006-01-20 17:21:14 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		Add to Reading List Source URL: math.stanford.edu Download Document from Source Website File Size: 251,88 KB Share Document on Facebook

	PDF Document DocID: 12xU - View Document
	PDF Document DocID: 11ro - View Document