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
Save for later
A Concise Introduction to Mathematical Logic (Universitext)
by Wolfgang Rautenberg
ISBN 13: 9781441912206
Format: Illustrated (342 pages) Publisher: Springer Published: 17 Dec 2009
Introduction to Boolean Algebras (Undergraduate Texts in Mathematics)
by Steven Givant,Paul Halmos
ISBN 13: 9780387402932
Format: Illustrated (588 pages) Publisher: Springer Published: 03 Feb 2009
Higher Topos Theory (AM-170) (Annals of Mathematics Studies) (Annals of Mathematics Studies, 170)
by Jacob Lurie
ISBN 13: 9780691140490
Format: Paperback (944 pages) Publisher: Princeton University Press Published: 06 Jul 2009
Ernst Zermelo - Collected Works/Gesammelte Werke: Volume I/Band I - Set Theory, Miscellanea/Mengenlehre, Varia: v. 21 (Schriften der Mathematisch-naturwissenschaftlichen Klasse)
by Ernst Zermelo,Heinz-Dieter Ebbinghaus,Enzo de Pellegrin
ISBN 13: 9783540793830
Format: Hardcover (680 pages) Publisher: Springer Published: 13 Jan 2010
Problems Of Number Theory In Mathematical Competitions: 2 (Mathematical Olympiad Series)
by YU HONGBING
ISBN 13: 9789814271141
Format: Paperback (116 pages) Publisher: World Scientific Publishing Published: 16 Nov 2009
Argumentation Schemes
by Douglas Walton
ISBN 13: 9780521723749
Format: Illustrated (456 pages) Publisher: Cambridge University Press Published: 04 Aug 2008 Other Format: Hardcover
A Primer of Infinitesimal Analysis
by John L. Bell
ISBN 13: 9780521887182
Format: Hardcover (140 pages) Publisher: Cambridge University Press Published: 07 Apr 2008
Thinking as Communicating: Human Development, the Growth of Discourses, and Mathematizing (Learning in Doing: Social, Cognitive and Computational Perspectives)
by Anna Sfard
ISBN 13: 9780521161541
Format: Illustrated (352 pages) Publisher: Cambridge University Press Published: 29 Apr 2010
Control Theoretic Splines: Optimal Control, Statistics, and Path Planning: 31 (Princeton Series in Applied Mathematics)
by Magnus Egerstedt,Clyde Martin
ISBN 13: 9780691132969
Format: Hardcover (232 pages) Publisher: Princeton University Press Published: 27 Dec 2009
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
There's Something About Godel!: The Complete Guide to the Incompleteness Theorem
by BERTO
ISBN 13: 9781405197663
Format: Illustrated (256 pages) Publisher: John Wiley & Sons Published: 06 Nov 2009 Other Format: Paperback