Search results (Open Library)

Search Results

There are 63 matching records. Show: List / Covers

	An accompaniment to higher mathematics by George R. Exner Springer, 1997
	On the shape of mathematical arguments by A. J. M. Gasteren Springer-Verlag, 1990
	Tracking reason by Jody Azzouni Oxford University Press, 2005
	The nuts and bolts of proofs by Antonella Cupillari Academic Press, 2001
	Proof Theory Logical Complexity (Studies in Proof Theory) by Jean-Yves Girard Humanities Pr, August 1987 Hardcover
	Perspectives on proof theory by Eric Monteiro Institute of Informatics, University of Oslo, 1992
	Theories for admissible sets, a unifying approach to proof theory by Gerhard Jäger Bibliopolis, 1986
	Combinators, l-terms and proof theory. by Sören Stenlund D. Reidel, 1972
	Logic for concurrency and synchronisation Kluwer Academic Publishers, 2003
	100% mathematical proof by Rowan Garnier Wiley, 1996
	An accompaniment to higher mathematics by George R. Exner Springer, 1996
	Introduction to proof in abstract mathematics by Andrew Wohlgemuth Saunders College Pub., 1990
	transition to abstract mathematics Academic Press, 2009
	Computational aspects of linear logic MIT Press, 1995
	introduction to mathematical reasoning Cambridge University Press, 1997
	unprovability of consistency Cambridge University Press, 1979
	How to read and do proofs J. Wiley, 1982
	Mathematical analysis and proof Horwood Pub., 2009
	Logic, proof, and sets by Marvin L. Bittinger Addison-Wesley, 1982
	La demonstration mathematique dans l'histoire Diffusion IREM de Lyon, 1990 Unknown Binding

More results: 1 2 3 4 NEXT >

Can't find the book you are searching for? Add a new book.

Search = 0.24 sec; Presentation = 0.00 sec