Your search returned 2 results.

Results
	1.	Proof theory : the first step into impredicativity / Wolfram Pohlers. by Pohlers, Wolfram Series: Universitext Material type: Text; Format: print ; Literary form: Not fiction Publication details: Berlin : Springer, c2009 Availability: Items available for loan: H.T. Parekh Library (1)Call number: 511.36 POH. Place hold Add to cart (remove)
	2.	Elementary theory of groups: a guide through the proofs of the Tarski conjectures / Benjamin Fine, Anthony Gaglione, Alexei Myasnikov, Gerhard Rosenberger and Dennis Spellman by Fine, Benjamin Gaglione, Anthony Myasnikov, Alexei G Rosenberger, Gerhard Spellman, Dennis Series: De Gruyter expositions in mathematics ; 60 Material type: Text; Format: print ; Nature of contents: ; Literary form: Not fiction Publication details: Berlin De Gruyter 2014 Other title: The elementary theory of groups: a guide through the proofs of the Tarski conjectures Availability: Items available for loan: H.T. Parekh Library (1)Call number: 512.2 FIN. Place hold Add to cart (remove)

Refine your search