Mathematical Applications and Modelling 2010: Yearbook, Association of Mathematics Educators
by
ISBN 13: 9789814313339
Format: Hardcover (352 pages) Publisher: World Scientific Publishing Co Pte Ltd Published: 30 Jun 2010
Save for later
The Description Logic Handbook: Theory, Implementation and Applications
ISBN 13: 9780521150118
Format: Paperback (624 pages) Publisher: Cambridge University Press Published: 20 May 2010
The Evolution of Logic (The Evolution of Modern Philosophy)
by W. D. Hart
ISBN 13: 9780521747721
Format: Paperback (306 pages) Publisher: Cambridge University Press Published: 23 Aug 2010 Other Format: Hardcover
In Defence of Objective Bayesianism
by Jon Williamson
ISBN 13: 9780199228003
Format: Hardcover (200 pages) Publisher: OUP Oxford Published: 13 May 2010
Elements of Automata Theory (Encyclopedia of Mathematics and Its Applications)
by Jacques Sakarovitch
ISBN 13: 9780521844253
Format: Hardcover (782 pages) Publisher: Cambridge University Press Published: 01 Oct 2009
Recursive Analysis (Dover Books on Mathematics)
by R L Goodstein
ISBN 13: 9780486477510
Format: Paperback (144 pages) Publisher: Dover Publications Inc. Published: 25 Jun 2010
A Framework for Priority Arguments (Lecture Notes in Logic)
by Manuel Lerman
ISBN 13: 9780521119696
Format: Hardcover (176 pages) Publisher: Cambridge University Press Published: 19 Apr 2010
Advances in Elliptic Curve Cryptography: Further Topics v. 2 (London Mathematical Society Lecture Note Series)
ISBN 13: 9780521604154
Format: Paperback (298 pages) Publisher: Cambridge University Press Published: 25 Apr 2005
Alfred Tarski: Life and Logic (Cambridge Concise Histories)
by Anita Burdman Feferman,Solomon Feferman
ISBN 13: 9780521714013
Format: Paperback (432 pages) Publisher: Cambridge University Press Published: 07 Apr 2008
Argumentation Schemes
by Douglas Walton
ISBN 13: 9780521723749
Format: Illustrated (456 pages) Publisher: Cambridge University Press Published: 04 Aug 2008 Other Format: Hardcover
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications: 9 (Applied Logic Series)
by W. Bibel, P.H. Schmitt
ISBN 13: 9780792351306
Format: Hardcover (448 pages) Publisher: Springer Published: 30 Jun 1998 Other Format: Hardcover, Illustrated
Algorithms in Invariant Theory (Texts & Monographs in Symbolic Computation)
by Bernd Sturmfels,Peter Paule
ISBN 13: 9783211774168
Format: Illustrated (204 pages) Publisher: Springer Published: 28 Apr 2008