Graphs: An Introductory Approach––A First Course in Discrete Mathematics
by Robin J. Wilson, John J. Watkins
ISBN 13: 9780471615545
Format: Hardcover (352 pages) Publisher: John Wiley & Sons Published: 23 May 1990 Other Format: Paperback
Save for later
Elementary Number Theory (Springer Undergraduate Mathematics Series)
by Jones, Gareth A. Gareth A. Jones, Josephine M. Jones,
ISBN 13: 9783540761976
Format: paperback Publisher: Springer
Symbolic Logic and Mechanical Theorem Proving (Computer Science & Applied Mathematics) (Computer Science and Applied Mathematics)
by Chin-Liang Chang,Richard Char-Tung Lee
ISBN 13: 9780121703509
Format: Illustrated (331 pages) Publisher: Academic Press Published: 15 Jun 1973
Typed Lambda Calculi and Applications: 6th International Conference, TLCA 2003, Valencia, Spain, June 10-12, 2003, Proceedings: 2701 (Lecture Notes in Computer Science)
by Martin Hofmann
ISBN 13: 9783540403326
Format: Illustrated (332 pages) Publisher: Springer Berlin Heidelberg Published: 10 Oct 2008
Number Story: From Counting to Cryptography
by Peter Michael Higgins
ISBN 13: 9781848000001
Format: Illustrated (334 pages) Publisher: Copernicus Published: 13 Mar 2008
Algorithmic Cryptanalysis (Chapman & Hall/CRC Cryptography and Network Security Series)
by Antoine Joux
ISBN 13: 9781420070026
Format: Hardcover (519 pages) Publisher: Chapman and Hall/CRC Published: 22 Jun 2009
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
Mathematical Logic
by Tourlakis
ISBN 13: 9780470280744
Format: Illustrated (312 pages) Publisher: John Wiley & Sons Published: 13 Aug 2008
From a Geometrical Point of View: A Study of the History and Philosophy of Category Theory (Logic, Epistemology, and the Unity of Science)
by Jean-Pierre Marquis
ISBN 13: 9781402093838
Format: Hardcover (320 pages) Publisher: Springer Published: 08 Jan 2009
Logic for Applications (Texts in Computer Science)
by Anil Nerode,Richard A. Shore
ISBN 13: 9780387948935
Format: Illustrated (469 pages) Publisher: Springer Published: 01 Feb 1997
Philosophy of Mathematics: An Introduction
by BOSTOCK
ISBN 13: 9781405189927
Format: Illustrated (344 pages) Publisher: John Wiley & Sons Published: 13 Feb 2009 Other Format: Illustrated
Schaum's Outline of Boolean Algebra and Switching Circuits
by Elliott Mendelson
ISBN 13: 9780070414600
Format: Paperback (224 pages) Publisher: McGraw Hill Published: 16 Jan 1970