Your search returned 5 results.

Results
	1.	No cover image available No cover image available Logic for concurrency and synchronisation [electronic resource] / edited by Ruy J.G.B. de Queiroz. by Queiroz, Ruy J. G. B. de ProQuest (Firm) Series: Trends in logic ; v. 18. Material type: Text; Format: electronic ; Literary form: Not fiction Publication details: Dordrecht ; Boston : Kluwer Academic Publishers, c2003 Online resources: Click to View Availability: No items available. Add to cart (remove)
	2.	No cover image available No cover image available Charming proofs [electronic resource] : a journey into elegant mathematics / Claudi Alsina, Roger B. Nelsen. by Alsina, Claudi Nelsen, Roger B Mathematical Association of America ProQuest (Firm) Series: Dolciani mathematical expositions ; no. 42 Material type: Text; Format: electronic ; Literary form: Not fiction Publication details: Washington, D.C. : Mathematical Association of America, c2010 Online resources: Click to View Availability: No items available. Add to cart (remove)
	3.	No cover image available No cover image available Icons of mathematics [electronic resource] : an exploration of twenty key images / Claudi Alsina, Roger B. Nelsen. by Alsina, Claudi Nelsen, Roger B ProQuest (Firm) Series: Dolciani mathematical expositions ; no. 45 Material type: Text; Format: electronic ; Literary form: Not fiction Publication details: [Washington, D.C.] : Mathematical Association of America, c2011 Online resources: Click to View Availability: No items available. Add to cart (remove)
	4.	Concepts of proof in mathematics, philosophy, and computer science / edited by Dieter Probst and Peter Schuster. Series: Ontos mathematical logic ; Volume 6. Material type: Text; Literary form: Not fiction Publisher: Berlin, [Germany] ; Boston, [Massachusetts] : De Gruyter, 2016Copyright date: �2016 Online resources: Click to View Availability: No items available. Add to cart (remove)
	5.	Proof theory / Herman Ruge Jervell. by Jervell, Herman Ruge [author.] Series: Compact Companion ; 3 Material type: Text; Literary form: Not fiction Publisher: Berlin : Logos Verlag Berlin, [2012]Copyright date: �2012 Online resources: Click to View Availability: No items available. Add to cart (remove)

Installed and Supported by focuz infotech