Library - International Centre for Theoretical Sciences catalog › Results of search for 'su:"Proof theory."'

Search

Your search returned 6 results.

Not what you expected? Check for suggestions

	1.	Charming proofs : a journey into elegant mathematics volume. volume. 42 by Alsina, Claudi \| Nelsen, Roger B. Series: Dolciani Mathematical Expositions ; v. 42Material type: Text Publication details: Washington, DC : Mathematical Association of America, c2010Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): . Add to cart (remove)
	2.	Compactness and contradiction by Tao, Terence. Series: Miscellaneous Books ; v. 81Material type: Computer file; Format: electronic Publication details: Providence, R.I. :;Toronto : American Mathematical Society ;;Fields Institute for Research in Mathematical Sciences, c2013Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): . Add to cart (remove)
	3.	Complexity of proofs and their transformations in axiomatic theories by Orevkov, V. P \| Louvish, David. Series: Translations of Mathematical Monographs ; v. 128Material type: Computer file; Format: electronic Publication details: Providence, R.I. : American Mathematical Society, c1993Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): . Add to cart (remove)
	4.	Conjecture and proof by Laczkovich, Miklos. Series: Classroom Resource Materials ; v. 15Material type: Computer file; Format: electronic Publication details: Washington, DC : Mathematical Association of America, c2001Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): . Add to cart (remove)
	5.	Icons of mathematics : an exploration of twenty key images volume. volume. 45 by Alsina, Claudi \| Nelsen, Roger B. Series: Dolciani Mathematical Expositions ; v. 45Material type: Text Publication details: [Washington, D.C.] : Mathematical Association of America, c2011Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): . Add to cart (remove)
	6.	A panorama of mathematics by Fonseca Carlos M da \| Huynh Dinh Van \| Kirkland Steve \| Tuan Vu Kim. Series: Contemporary mathematics ; v. 658Material type: Computer file; Format: electronic Publication details: Providence, Rhode Island : American Mathematical Society, 2016Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): . Add to cart (remove)