Methods of Cut-Elimination (Trends in Logic)
by Matthias Baaz,Alexander Leitsch
ISBN 13: 9789400703193
Format: Hardcover (293 pages) Publisher: Springer Published: 17 Jan 2011
Save for later
Inconsistent Geometry
by Chris Mortensen
ISBN 13: 9781848900226
Format: Paperback (174 pages) Publisher: College Publications Published: 15 Oct 2010
Multi-Criteria Decision Making Methods: A Comparative Study (Applied Optimization)
by Evangelos Triantaphyllou
ISBN 13: 9781441948380
Format: Paperback (324 pages) Publisher: Springer Published: 08 Dec 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
Combinatorial Games: Tic-Tac-Toe Theory (Encyclopedia of Mathematics and its Applications)
by József Beck
ISBN 13: 9780521184755
Format: Paperback (750 pages) Publisher: Cambridge University Press Published: 28 Apr 2011 Other Format: Illustrated
Classical Recursion Theory, Volume II: Vol 2 (Studies in Logic and the Foundations of Mathematics)
by P. Odifreddi
ISBN 13: 9780444502056
Format: Hardcover (966 pages) Publisher: North Holland Published: 07 Sep 1999
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
Kurt Gödel and the Foundations of Mathematics: Horizons of Truth
by
ISBN 13: 9780521761444
Format: Hardcover (544 pages) Publisher: Cambridge University Press Published: 06 Jun 2011
The Many Valued and Nonmonotonic Turn in Logic: 8 (Handbook of the History of Logic)
ISBN 13: 9780444516237
Format: Hardcover (690 pages) Publisher: North Holland Published: 06 Jul 2007
Mathematical Control Theory: An Introduction (Modern Birkhäuser Classics)
by Jerzy Zabczyk
ISBN 13: 9780817647322
Format: Paperback (272 pages) Publisher: Birkhauser Published: 06 Nov 2007
Nonstandard Analysis, Axiomatically (Springer Monographs in Mathematics)
by Vladimir Kanovei,Michael Reeken
ISBN 13: 9783540222439
Format: Hardcover (424 pages) Publisher: Springer Published: 11 Aug 2004
Graph Theory Applications (Universitext)
by L.R. Foulds
ISBN 13: 9780387975993
Format: Paperback (425 pages) Publisher: Springer Published: 16 Feb 1995