Your search returned 3 results.

Results
	1.		Image from Amazon.com	Applied Proof Theory: Proof Interpretations and Their Use in Mathematics [electronic resource] / by Ulrich Kohlenbach. by Kohlenbach, Ulrich [author.] SpringerLink (Online service) Series: Springer Monographs in MathematicsPublisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
	2.		Image from Amazon.com	Logic, Language, Information, and Computation [electronic resource] : 21st International Workshop, WoLLIC 2014, Valparaíso, Chile, September 1-4, 2014. Proceedings / edited by Ulrich Kohlenbach, Pablo Barceló, Ruy de Queiroz. by Kohlenbach, Ulrich [editor.] Barceló, Pablo [editor.] Queiroz, Ruy de [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 8652Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
	3.		Image from Amazon.com	Logic, Language, Information, and Computation [electronic resource] : 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013. Proceedings / edited by Leonid Libkin, Ulrich Kohlenbach, Ruy de Queiroz. by Libkin, Leonid [editor.] Kohlenbach, Ulrich [editor.] Queiroz, Ruy de [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 8071Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)

Copyright © 2020 Alfaisal University Library. All Rights Reserved.
Tel: +966 11 2158948 Fax: +966 11 2157910 Email: librarian@alfaisal.edu