Results of search for 'su:"Proof theory."'

Results
	1.	2-D quadratic maps and 3-D ODE systems : a rigorous approach / Elhadj Zeraoulia, Julien Clinton Sprott. by Zeraoulia, Elhadj Sprott, Julien C Series: World Scientific series on nonlinear science. Series A Monographs and treatises ; ; v. 73. Publication details: Singapore ; World Scientific, 2010 Availability: Items available for loan: PERPUSTAKAAN LINGKUNGAN KEDUA (1)Call number: QA243.Z449 3. Place hold
	2.	Adapting Proofs-as-Programs [electronic resource] : The Curry-Howard Protocol / by Iman Hafiz Poernomo, Martin Wirsing, John Newsome Crossley. by Poernomo, Iman Hafiz Wirsing, Martin Crossley, John Newsome SpringerLink (Online service) Series: Monographs in Computer Science Publication details: New York, NY : Springer Science+Business Media Inc., 2005 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	3.	Analysis : with an introduction to proof / Steven R. Lay. by Lay, Steven R, 1944- Edition: 3rd ed. Publication details: Upper Saddle River, N.J. : Prentice Hall, 2001 Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: QA300.L395 2001. Place hold
	4.	Applied Proof Theory: Proof Interpretations and Their Use in Mathematics [electronic resource] / by Ulrich Kohlenbach. by Kohlenbach, Ulrich SpringerLink (Online service) Series: Springer Monographs in Mathematics Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	5.	Basic proof theory / A.S. Troelstra, H. Schwichtenberg. by Troelstra, A. S. (Anne Sjerp) Schwichtenberg, Helmut, 1942- Series: Cambridge tracts in theoretical computer science ; 43 Edition: 2nd ed. Publication details: Cambridge : Cambridge University Press, 2000 Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: QA9.54.T76 2000. Place hold
	6.	Burden of Proof, Presumption and Argumentation / Douglas Walton. by Walton, Douglas [author.] Publisher: Cambridge : Cambridge University Press, 2014 Other title: Burden of Proof, Presumption & Argumentation In: Cambridge e-books Online resources: Click here to access online Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (2)Call number: ebook, ... Place hold
	7.	Burden of proof, presumption and argumentation / Douglas Walton, University of Windsor, Canada. by Walton, Douglas N [author.] Publisher: Cambridge : Cambridge University Press, 2014 Other title: Burden of Proof, Presumption & Argumentation Online resources: Click here to access online Availability: No items available.
	8.	Extending the frontiers of mathematics : inquiries into proof and argumentation / Edward B. Burger. by Burger, Edward B, 1963- Publication details: [Hoboken, New Jersey] : Wiley, 2007 Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: QA9.54.B877. Place hold
	9.	Handbook of mathematical induction : theory and applications / David S. Gunderson. by Gunderson, David S Series: CRC Press series on discrete mathematics and its applications Publication details: Boca Raton, FL : CRC Press, 2011 Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: QA9.54.G866. Place hold
	10.	How to read and do proofs an introduction to mathematical thought process Daniel Solow by Solow, Daniel Publication details: New York, Chichester Wiley 1982 Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (2)Call number: QA9.54.S6, ... Place hold
	11.	How to read and do proofs : an introduction to mathematical thought processes / Daniel Solow by Solow, Daniel Edition: 4th ed. Publication details: Hoboken, N.J. : John Wiley, 2005 Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: QA9.54.S6 2005. Place hold
	12.	An introduction to mathematical proofs / Nicholas A Loehr. by Loehr, Nicholas A [author.] Publisher: [Boca Raton, Florida] : [CRC Press], 2020 Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: QA9.54.L644. Place hold
	13.	An introduction to mathematical reasoning : numbers, sets, and functions / Peter J. Eccles by Eccles, Peter J, 1945- Publication details: Cambridge : Cambridge University Press, 1997 Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: QA9.54.E26. Place hold
	14.	Introduction to proof in abstract mathematics / Andrew Wohlgemuth by Wohlgemuth, Andrew Publication details: Philadelphia Saunders College Publishing 1990 Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: QA9.54.W64. Place hold
	15.	Introduction to proofs in mathematics James Franklin, Albert Daoud by Franklin (James William), 1953- Daoud, Albert Tatar, 1936- Publication details: New York Prentice-Hall 1988 Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: QA9.54.F72. Place hold
	16.	Mathematical proof : an elementary approach / by Arthur E. Hallerberg by Hallerberg, Arthur E., (Arthur Edward), 1918-1978 Publication details: New York : Hafner Press, 1974 Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: QA9.54.H34. Place hold
	17.	Mathematical proofs : a transition to advanced mathematics / Gary Chartrand, Albert D. Polimeni, Ping Zhang by Chartrand, Gary Polimeni, Albert D, 1938- Zhang, Ping, 1957- Edition: 2nd ed. Publication details: Boston : Pearson/Addison Wesley, 2008 Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: QA9.54.C48 2008. Place hold
	18.	The moment of proof : mathemanical epiphanies / Donald C. Benson by Benson, Donald C Publication details: New York : Oxford University Press, 1999 Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: QA9.54.B46. Place hold
	19.	The nuts and bolts of proofs / Antonella Cupillari. by Cupillari, Antonella Edition: 3rd ed. Publication details: Amsterdam ; Boston : Elsevier Academic Press, c2005 Availability: No items available.
	20.	Proof analysis : a contribution to Hilbert's last problem / Sara Negri, Jan von Plato. by Negri, Sara, 1967- Von Plato, Jan Publication details: Cambridge, UK : Cambridge University Press, 2011 Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: QA9.54.N477. Place hold

Refine your search

Availability

Authors

Home libraries

Item types

Locations

Series

Topics

Your search returned 28 results.

Contact Us

Copyright ©The National University of Malaysia Library