Constructing Correct Software: The Basics (Formal Approaches to Computing and Information Technology (FACIT))
by John Cooke
ISBN 13: 9783540761563
Format: Paperback (395 pages) Publisher: Springer Published: 01 Apr 1999 Other Format: Paperback
Save for later
Introduction to Networks and Algorithms
by Alan Dolan, Joan Aldous
ISBN 13: 9780471939931
Format: Paperback (556 pages) Publisher: WileyBlackwell Published: 23 Dec 1993
Sets, Functions and Logic: A Foundation Course in Mathematics (Chapman & Hall Mathematics Series)
by Keith J. Devlin
ISBN 13: 9780412459801
Format: Paperback (160 pages) Publisher: CRC Press Inc Published: 20 Feb 1992 Other Format: Hardcover
Logic DeMYSTiFied
by Tony Boutelle,Stan Gibilisco
ISBN 13: 9780071701280
Format: Paperback (394 pages) Publisher: McGraw-Hill Professional Published: 01 Nov 2010
Counting on Frameworks: Mathematics to Aid the Design of Rigid Structures (Dolciani Mathematical Expositions)
by Jack E. Graver
ISBN 13: 9780883853313
Format: Paperback (192 pages) Publisher: The Mathematical Association of America Published: 06 Sep 2001
Everything and More (Great Discoveries)
by DF Wallace
ISBN 13: 9780393326291
Format: Paperback (368 pages) Publisher: W. W. Norton & Co. Published: 03 Dec 2004 Other Format: Hardcover
The Moment of Proof: Mathematical Epiphanies
by Donald C. Benson
ISBN 13: 9780195139198
Format: Paperback (352 pages) Publisher: OUP USA Published: 05 Apr 2001
To Infinity and Beyond: A Cultural History of the Infinite (Princeton Paperbacks)
by Eli Maor
ISBN 13: 9780691025117
Format: Paperback (304 pages) Publisher: Princeton University Press Published: 09 Jul 1991
Gödel's Proof
by Ernest Nagel,James R. Newman,Douglas R. Hofstadter
ISBN 13: 9780814758373
Format: Paperback (160 pages) Publisher: NYU Press Published: 01 Oct 2008
An Investigation of the Laws of Thought
by George Boole
ISBN 13: 9781603863155
Format: Paperback (336 pages) Publisher: Rough Draft Printing Published: 02 Apr 2010
Modeling with Mathematics: A Bridge to Algebra II
by COMAP
ISBN 13: 9780716707806
Format: Hardcover (607 pages) Publisher: W.H.Freeman & Co Ltd Published: 25 May 2006
Higher Order Operational Techniques in Semantics: 12 (Publications of the Newton Institute, Series Number 12)
by Andrew M. Pitts Edited by Andrew D. Gordon
ISBN 13: 9780521631686
Format: Hardcover (400 pages) Publisher: Cambridge University Press Published: 22 Jan 1998