The Incompleteness Phenomenon
by Martin Goldstern,Haim Judah
ISBN 13: 9781568810294
Format: Hardcover (218 pages) Publisher: A K Peters/CRC Press Published: 15 Jun 1995
Save for later
From Boolean Logic to Switching Circuits and Automata: Towards Modern Information Technology (Studies in Computational Intelligence)
by Radomir S. Stankovic,Jaakko Astola
ISBN 13: 9783642116810
Format: Hardcover (232 pages) Publisher: Springer Published: 05 Mar 2011
Approximation Algorithms for Complex Systems: Proceedings of the 6th International Conference on Algorithms for Approximation, Ambleside, UK, 31st ... 2009 (Springer Proceedings in Mathematics)
by
ISBN 13: 9783642168758
Format: Hardcover (317 pages) Publisher: Springer Published: 07 Jan 2011
Inconsistent Geometry
by Chris Mortensen
ISBN 13: 9781848900226
Format: Paperback (174 pages) Publisher: College Publications Published: 15 Oct 2010
Discrete Structures with Contemporary Applications
by Alexander Stanoyevitch
ISBN 13: 9781439817681
Format: Hardcover (1002 pages) Publisher: Chapman and Hall/CRC Published: 25 Jan 2011
Boolean Functions: Theory, Algorithms, and Applications (Encyclopedia of Mathematics and its Applications)
by Yves Crama,Peter L. Hammer
ISBN 13: 9780521847513
Format: Hardcover (706 pages) Publisher: Cambridge University Press Published: 16 May 2011 Other Format: Hardcover
Logic and Complexity (Discrete Mathematics & Theoretical Computer Science): Discrete Mathematics and Theoretical Computer Science
by Richard Lassaigne,Michel de Rougemont
ISBN 13: 9781852335656
Format: Illustrated (376 pages) Publisher: Springer Published: 20 Jan 2004
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications: 8 (Applied Logic Series)
by Wolfgang Bibel,P.H. Schmitt
ISBN 13: 9780792351290
Format: Illustrated (508 pages) Publisher: Springer Published: 30 Jun 1998 Other Format: Hardcover
A Mathematical Introduction to Logic
by Herbert Enderton,Herbert B. Enderton
ISBN 13: 9780122384523
Format: Hardcover (317 pages) Publisher: Academic Press Published: 01 Jan 2001
Descartes's Changing Mind
by Peter Machamer,J. E. McGuire
ISBN 13: 9780691138893
Format: Hardcover (272 pages) Publisher: Princeton University Press Published: 06 Jul 2009
Database Theory - ICDT 2005: 10th International Conference, Edinburgh, UK, January 5-7, 2005, Proceedings: 3363 (Lecture Notes in Computer Science)
by Thomas Eiter,Leonid Libkin
ISBN 13: 9783540242888
Format: Paperback (424 pages) Publisher: Springer Published: 16 Dec 2004
The Notre Dame Lectures: Lecture Notes in Logic, 18
by Peter Cholak
ISBN 13: 9781568812496
Format: Illustrated (200 pages) Publisher: A K Peters/CRC Press Published: 23 Jun 2005