Your search returned 2 results.

Results
		Advances in proof-theoretic semantics / Edited by Thomas Piecha & Peter Schroeder-Heister. by International Conference on Proof-Theoretic Semantics (2nd : 2013 : Tübingen, Germany) Piecha, Thomas [editor.] Schroeder-Heister, Peter Joseph, 1953- [editor.] Series: Trends in logic ; volume 43 Material type: Text; Format: electronic ; Literary form: Not fiction Publisher: Cham : Springer, [2016] Online access: Click here to access online Availability: Items available for loan: Main Library (1)Call number: 160 In61. Place hold Add to cart (remove)
		Mathematical reasoning : [electronic resource] writing and proof / Theodore A. Sundstrom. by Sundstrom, Theodore A Material type: Text; Format: electronic ; Literary form: Not fiction Publication details: Mountain View, CA : Creative Commons, 2017 Online access: Click here to access online Availability: Items available for loan: Main Library (1)Call number: 511.3 Su958. Place hold Add to cart (remove)

Refine your search