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
Discrete Mathematics by Example
by Andrew Simpson
ISBN 13: 9780077098407
Format: Paperback (464 pages) Publisher: McGraw-Hill Higher Education Published: 01 Dec 2001
The Foundations of Arithmetic: A Logico-Mathematical Enquiry into the Concept of Number
by Gottlob Frege
ISBN 13: 9780631126942
Format: Paperback (119 pages) Publisher: John Wiley & Sons Published: 30 Oct 1980 Other Format: Paperback
Foundations of Discrete Mathematics
by A. Polimeni, J. Straight
ISBN 13: 9780534124021
Format: Hardcover (416 pages) Publisher: Brooks Cole Published: 13 Mar 1990 Other Format: Paperback
Stable Domination and Independence in Algebraically Closed Valued Fields (Lecture Notes in Logic)
by Deirdre Haskell,Ehud Hrushovski,Dugald Macpherson
ISBN 13: 9780521889810
Format: Hardcover (194 pages) Publisher: Cambridge University Press Published: 10 Dec 2007
Mathematical Olympiad Challenges
by Titu Andreescu,Razvan Gelca
ISBN 13: 9780817645281
Format: Paperback (283 pages) Publisher: Birkhauser Published: 05 Feb 2009
Polish Up Your Mathematics (Key issues in economics and business)
by Mike Fletcher, Gordon Bancroft
ISBN 13: 9780582297210
Format: Paperback (160 pages) Publisher: Prentice Hall Press Published: 20 Jul 1987
Basic Simple Type Theory: 42 (Cambridge Tracts in Theoretical Computer Science, Series Number 42)
by J. Roger Hindley
ISBN 13: 9780521465182
Format: Hardcover (200 pages) Publisher: Cambridge University Press Published: 31 Jul 1997
An Introduction to the Relativistic Theory of Gravitation (Lecture Notes in Physics): 750
by Frank Meyer, Petr Hajicek, Jan Metzger
ISBN 13: 9783540786580
Format: Hardcover (280 pages) Publisher: Springer Published: 26 Aug 2008
Benjamin Franklin's Numbers: An Unsung Mathematical Odyssey
by Paul C. Pasles
ISBN 13: 9780691129563
Format: Illustrated (272 pages) Publisher: Princeton University Press Published: 15 Oct 2007
Mathematical Logic
by Tourlakis
ISBN 13: 9780470280744
Format: Illustrated (312 pages) Publisher: John Wiley & Sons Published: 13 Aug 2008
Basic Category Theory for Computer Scientists (Foundations of computing)
by Benjamin C. Pierce
ISBN 13: 9780262660716
Format: Paperback (116 pages) Publisher: MIT Press Published: 30 Sep 1991